The cat is kind. The cat sees the squirrel. The cat visits the squirrel. The squirrel is blue. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel needs the cat. The squirrel sees the cat. The squirrel visits the cat. If someone is kind then they need the squirrel. If someone is round then they see the squirrel. If someone visits the cat and the cat visits the squirrel then the cat is nice. If the cat is round and the cat is kind then the cat is blue. If someone is young and they see the squirrel then they visit the squirrel. If someone is blue and they need the squirrel then they visit the cat. If the squirrel needs the cat and the squirrel visits the cat then the cat is round. If someone needs the squirrel and the squirrel visits the cat then the squirrel sees the cat.
The cat is not round.
@0: The cat is kind.[(triple1)] The cat sees the squirrel.[(triple2 OR ((((triple8 triple10) -> rule7)) -> rule2) OR ((((triple8 ((triple4 ((triple5) -> rule1)) -> rule6)) -> rule7)) -> rule2))] The cat visits the squirrel.[(triple3)] The squirrel is blue.[(triple4)] The squirrel is kind.[(triple5)] The squirrel is nice.[(triple6)] The squirrel is round.[(triple7)] The squirrel needs the cat.[(triple8)] The squirrel sees the cat.[(triple9 OR ((((triple1) -> rule1) triple10) -> rule8) OR ((((triple5) -> rule1) triple10) -> rule8) OR ((((triple1) -> rule1) ((triple4 ((triple5) -> rule1)) -> rule6)) -> rule8) OR ((((triple5) -> rule1) ((triple4 ((triple5) -> rule1)) -> rule6)) -> rule8))] The squirrel visits the cat.[(triple10 OR ((triple4 ((triple5) -> rule1)) -> rule6))] @1: The cat is nice.[(((triple10 triple3) -> rule3) OR ((((triple4 ((triple5) -> rule1)) -> rule6) triple3) -> rule3) OR ((((((((triple8 triple10) -> rule7) triple1) -> rule4) ((triple1) -> rule1)) -> rule6) triple3) -> rule3) OR ((((((((triple8 ((triple4 ((triple5) -> rule1)) -> rule6)) -> rule7) triple1) -> rule4) ((triple1) -> rule1)) -> rule6) triple3) -> rule3))] The cat is round.[(((triple8 triple10) -> rule7) OR ((triple8 ((triple4 ((triple5) -> rule1)) -> rule6)) -> rule7))] The cat needs the squirrel.[(((triple1) -> rule1))] The squirrel needs the squirrel.[(((triple5) -> rule1))] The squirrel sees the squirrel.[(((triple7) -> rule2))] @2: The cat is blue.[(((((triple8 triple10) -> rule7) triple1) -> rule4) OR ((((triple8 ((triple4 ((triple5) -> rule1)) -> rule6)) -> rule7) triple1) -> rule4))] @3: The cat visits the cat.[(((((((triple8 triple10) -> rule7) triple1) -> rule4) ((triple1) -> rule1)) -> rule6) OR ((((((triple8 ((triple4 ((triple5) -> rule1)) -> rule6)) -> rule7) triple1) -> rule4) ((triple1) -> rule1)) -> rule6))]