The cat chases the squirrel. The cat is big. The cat is round. The cat likes the squirrel. The cat visits the squirrel. The squirrel chases the cat. The squirrel is big. The squirrel is nice. The squirrel likes the cat. The squirrel visits the cat. If something likes the squirrel then it visits the squirrel. If something visits the squirrel and the squirrel likes the cat then the cat chases the squirrel. If something chases the cat then the cat is green. If something is green then it is nice. If something visits the cat and it visits the squirrel then the cat is nice. If something chases the cat and the cat visits the squirrel then it likes the cat.
The cat does not chase the squirrel.
@0: The cat chases the squirrel.[(triple1 OR ((triple5 triple9) -> rule2) OR ((triple5 ((triple6 triple5) -> rule6)) -> rule2) OR ((((triple4) -> rule1) triple9) -> rule2) OR ((((triple4) -> rule1) ((triple6 triple5) -> rule6)) -> rule2) OR ((triple5 ((triple6 ((triple4) -> rule1)) -> rule6)) -> rule2) OR ((((triple4) -> rule1) ((triple6 ((triple4) -> rule1)) -> rule6)) -> rule2))] The cat is big.[(triple2)] The cat is round.[(triple3)] The cat likes the squirrel.[(triple4)] The cat visits the squirrel.[(triple5 OR ((triple4) -> rule1))] The squirrel chases the cat.[(triple6)] The squirrel is big.[(triple7)] The squirrel is nice.[(triple8)] The squirrel likes the cat.[(triple9 OR ((triple6 triple5) -> rule6) OR ((triple6 ((triple4) -> rule1)) -> rule6))] The squirrel visits the cat.[(triple10)] @1: The cat is green.[(((triple6) -> rule3))] @2: The cat is nice.[(((((triple6) -> rule3)) -> rule4))]