The cat chases the dog. The cat eats the squirrel. The cat is big. The cat is blue. The cat is red. The cat likes the dog. The cat likes the squirrel. The dog eats the cat. The dog eats the squirrel. The dog is blue. The dog is young. The dog likes the cat. The dog likes the squirrel. The squirrel chases the cat. The squirrel chases the dog. If something is red then it likes the squirrel. If something is blue then it is big. If something chases the squirrel then it is red. If something chases the cat and it is round then it eats the dog. If something likes the cat and it likes the squirrel then the squirrel is red. If something chases the squirrel then it is red. If something is big and it likes the dog then the dog chases the cat. If something chases the cat then it is round.
The squirrel does not eat the dog.
@0: The cat chases the dog.[(triple1)] The cat eats the squirrel.[(triple2)] The cat is big.[(triple3 OR ((triple4) -> rule2))] The cat is blue.[(triple4)] The cat is red.[(triple5)] The cat likes the dog.[(triple6)] The cat likes the squirrel.[(triple7 OR ((triple5) -> rule1))] The dog eats the cat.[(triple8)] The dog eats the squirrel.[(triple9)] The dog is blue.[(triple10)] The dog is young.[(triple11)] The dog likes the cat.[(triple12)] The dog likes the squirrel.[(triple13)] The squirrel chases the cat.[(triple14)] The squirrel chases the dog.[(triple15)] @1: The dog chases the cat.[(((triple3 triple6) -> rule7) OR ((((triple4) -> rule2) triple6) -> rule7))] The dog is big.[(((triple10) -> rule2))] The squirrel is red.[(((triple12 triple13) -> rule5))] The squirrel is round.[(((triple14) -> rule8))] @2: The dog is round.[(((((triple3 triple6) -> rule7)) -> rule8) OR ((((((triple4) -> rule2) triple6) -> rule7)) -> rule8))] The squirrel eats the dog.[(((triple14 ((triple14) -> rule8)) -> rule4))] The squirrel likes the squirrel.[(((((triple12 triple13) -> rule5)) -> rule1))] @3: The dog eats the dog.[(((((triple3 triple6) -> rule7) ((((triple3 triple6) -> rule7)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2) triple6) -> rule7) ((((triple3 triple6) -> rule7)) -> rule8)) -> rule4) OR ((((triple3 triple6) -> rule7) ((((((triple4) -> rule2) triple6) -> rule7)) -> rule8)) -> rule4) OR ((((((triple4) -> rule2) triple6) -> rule7) ((((((triple4) -> rule2) triple6) -> rule7)) -> rule8)) -> rule4))]