The bald eagle likes the dog. The bald eagle needs the squirrel. The cat is nice. The cat needs the dog. The cat needs the squirrel. The dog is green. The dog sees the bald eagle. The dog sees the squirrel. The squirrel is green. The squirrel is red. If someone is nice and red then they see the dog. If someone sees the squirrel then the squirrel is red. If someone needs the dog and they need the bald eagle then they like the bald eagle. If someone likes the cat then they need the bald eagle. If someone sees the bald eagle then the bald eagle needs the dog. If someone needs the squirrel then they like the cat.
The cat likes the cat.
@0: The bald eagle likes the dog.[(triple1)] The bald eagle needs the squirrel.[(triple2)] The cat is nice.[(triple3)] The cat needs the dog.[(triple4)] The cat needs the squirrel.[(triple5)] The dog is green.[(triple6)] The dog sees the bald eagle.[(triple7)] The dog sees the squirrel.[(triple8)] The squirrel is green.[(triple9)] The squirrel is red.[(triple10 OR ((triple8) -> rule2))] @1: The bald eagle likes the cat.[(((triple2) -> rule6))] The bald eagle needs the dog.[(((triple7) -> rule5))] The cat likes the cat.[(((triple5) -> rule6))] @2: The bald eagle needs the bald eagle.[(((((triple2) -> rule6)) -> rule4))] The cat needs the bald eagle.[(((((triple5) -> rule6)) -> rule4))] @3: The bald eagle likes the bald eagle.[(((((triple7) -> rule5) ((((triple2) -> rule6)) -> rule4)) -> rule3))] The cat likes the bald eagle.[(((triple4 ((((triple5) -> rule6)) -> rule4)) -> rule3))]