The cat chases the cow. The cat chases the squirrel. The cat chases the tiger. The cat is blue. The cat is kind. The cat is young. The cat likes the cow. The cat likes the squirrel. The cow chases the tiger. The cow is young. The cow visits the squirrel. The squirrel likes the cat. The squirrel visits the tiger. The tiger chases the squirrel. The tiger likes the cat. The tiger visits the cat. If something chases the cat and it is young then it is green. If something is kind then it chases the cat. If something likes the tiger then the tiger likes the cat. If the cow visits the cat then the cow chases the squirrel. If something is blue and green then it likes the tiger. If something chases the squirrel then it visits the tiger.
The cat does not like the tiger.
@0: The cat chases the cow.[(triple1)] The cat chases the squirrel.[(triple2)] The cat chases the tiger.[(triple3)] The cat is blue.[(triple4)] The cat is kind.[(triple5)] The cat is young.[(triple6)] The cat likes the cow.[(triple7)] The cat likes the squirrel.[(triple8)] The cow chases the tiger.[(triple9)] The cow is young.[(triple10)] The cow visits the squirrel.[(triple11)] The squirrel likes the cat.[(triple12)] The squirrel visits the tiger.[(triple13)] The tiger chases the squirrel.[(triple14)] The tiger likes the cat.[(triple15 OR ((((triple4 ((((triple5) -> rule2) triple6) -> rule1)) -> rule5)) -> rule3))] The tiger visits the cat.[(triple16)] @1: The cat chases the cat.[(((triple5) -> rule2))] The cat visits the tiger.[(((triple2) -> rule6))] The tiger visits the tiger.[(((triple14) -> rule6))] @2: The cat is green.[(((((triple5) -> rule2) triple6) -> rule1))] @3: The cat likes the tiger.[(((triple4 ((((triple5) -> rule2) triple6) -> rule1)) -> rule5))]