The cat eats the dog. The cat eats the lion. The cat is big. The cat is young. The dog is green. The lion likes the squirrel. The squirrel eats the lion. The squirrel is big. The squirrel likes the dog. The squirrel likes the lion. If something likes the cat then it is red. If something likes the squirrel then the squirrel likes the dog. If something eats the dog then it is young. If the dog eats the cat then the dog eats the squirrel. If something eats the dog then the dog needs the squirrel. If something likes the dog then the dog eats the cat.
The dog eats the squirrel.
@0: The cat eats the dog.[(triple1)] The cat eats the lion.[(triple2)] The cat is big.[(triple3)] The cat is young.[(triple4 OR ((triple1) -> rule3))] The dog is green.[(triple5)] The lion likes the squirrel.[(triple6)] The squirrel eats the lion.[(triple7)] The squirrel is big.[(triple8)] The squirrel likes the dog.[(triple9 OR ((triple6) -> rule2))] The squirrel likes the lion.[(triple10)] @1: The dog eats the cat.[(((triple9) -> rule6) OR ((((triple6) -> rule2)) -> rule6))] The dog needs the squirrel.[(((triple1) -> rule5))] @2: The dog eats the squirrel.[(((((triple9) -> rule6)) -> rule4) OR ((((((triple6) -> rule2)) -> rule6)) -> rule4))]