Êþº¾1—1aima/logic/propositional/algorithms/KnowledgeBasejava/lang/Object sentencesLjava/util/List; SignatureALjava/util/List;parser+Laima/logic/propositional/parsing/PEParser;()VCode java/util/ArrayList   )aima/logic/propositional/parsing/PEParser  LineNumberTableLocalVariableTablethis3Laima/logic/propositional/algorithms/KnowledgeBase;tell(Ljava/lang/String;)Vparse5(Ljava/lang/String;)Laima/logic/common/ParseTreeNode; ! "-aima/logic/propositional/parsing/ast/Sentence$java/util/List&contains(Ljava/lang/Object;)Z () '*add ,) '- aSentenceLjava/lang/String;sentence/Laima/logic/propositional/parsing/ast/Sentence;tellAll([Ljava/lang/String;)V  5percepts[Ljava/lang/String;iIsize()I ;< '= asSentence1()Laima/logic/propositional/parsing/ast/Sentence;ANDAaima/util/LogicUtilsC chainWithS(Ljava/lang/String;Ljava/util/List;)Laima/logic/propositional/parsing/ast/Sentence; EF DG askWithDpll(Ljava/lang/String;)Zjava/lang/SystemKoutLjava/io/PrintStream; MN LOjava/lang/StringBuilderQerror parsing queryS  RUjava/lang/ExceptionW getMessage()Ljava/lang/String; YZ X[append-(Ljava/lang/String;)Ljava/lang/StringBuilder; ]^ R_toString aZ Rbjava/io/PrintStreamdprintln f eg ?@ i ( k b AND n )p0aima/logic/propositional/visitors/CNFTransformerr s transform`(Laima/logic/propositional/parsing/ast/Sentence;)Laima/logic/propositional/parsing/ast/Sentence; uv sw#error converting kb + query to CNFy(aima/logic/propositional/algorithms/DPLL{ |dpllSatisfiable2(Laima/logic/propositional/parsing/ast/Sentence;)Z ~ |€ queryStringquerycnfFormeLjava/lang/Exception; kbSentence kbPlusQueryaskWithTTEntails-aima/logic/propositional/algorithms/TTEntailsŠ ‹ ttEntailsH(Laima/logic/propositional/algorithms/KnowledgeBase;Ljava/lang/String;)Z Ž ‹‘ getSentences()Ljava/util/List; SourceFileKnowledgeBase.java!   Q*·*»Y·µ*»Y·µ±  o%*´+¶#À%M*´,¹+š*´,¹.W± $ %%/0 1234 `=§ *+2¶6„+¾¡ÿó± ! $ 789:;< 4 *´¹>¬'  ?@ 4 B*´¸H°+  IJ i©MN*´+¶#À%M§:²P»RYT·V¶\¶`¶c¶h*¶j::Æ4*´»RYl·V¶m¶`o¶`+¶`q¶`¶c¶#À%:§,:»sY·t¶xN§:²P»RYz·V¶\¶`¶c¶h»|Y·}-¶¬XqXF/234/75889=:R;c:n=q@BƒCDšCGR©©‚0§ƒ2¥„2…†5t‡28qˆ2ƒ…†‰J A »‹Y·Œ*+¶¬L  ‚0aZ I*´¹>š’°*¶j¶m°P QS “” /*´°W •–