The bald eagle likes the dog. The bald eagle does not see the dog. The cat likes the bald eagle. The cat sees the bald eagle. The cat visits the dog. The dog is blue. The dog is green. The dog is red. The dog likes the cat. The dog visits the bald eagle. If the bald eagle likes the dog then the bald eagle is not blue. If the bald eagle is nice then the bald eagle is red. If someone sees the bald eagle then the bald eagle does not see the cat. If someone sees the bald eagle and they are red then the bald eagle visits the dog. If someone sees the dog and the dog sees the cat then they are green. If someone likes the dog and they are not blue then the dog sees the cat. If someone sees the cat and the cat likes the dog then they like the bald eagle. If someone sees the cat then the cat is not green.
The dog likes the cat.
@0: The bald eagle does not see the dog.[(triple2)] The bald eagle likes the dog.[(triple1)] The cat likes the bald eagle.[(triple3)] The cat sees the bald eagle.[(triple4)] The cat visits the dog.[(triple5)] The dog is blue.[(triple6)] The dog is green.[(triple7)] The dog is red.[(triple8)] The dog likes the cat.[(triple9)] The dog visits the bald eagle.[(triple10)] @1: The bald eagle does not see the cat.[(((triple4) -> rule3))] The bald eagle is not blue.[(((triple1) -> rule1))] @2: The dog sees the cat.[(((triple1 ((triple1) -> rule1)) -> rule6))] @3: The cat is not green.[(((((triple1 ((triple1) -> rule1)) -> rule6)) -> rule8))]