The bald eagle chases the cat. The bald eagle chases the dog. The bald eagle needs the dog. The bald eagle sees the cat. The cat chases the dog. The cat needs the bald eagle. The cat needs the dog. The cat sees the bald eagle. The cat does not see the dog. The dog does not chase the cat. The dog needs the bald eagle. The dog sees the cat. If someone is blue and they need the dog then they are not big. If someone sees the bald eagle then they are blue.
The bald eagle is not blue.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the dog.[(triple2)] The bald eagle needs the dog.[(triple3)] The bald eagle sees the cat.[(triple4)] The cat chases the dog.[(triple5)] The cat does not see the dog.[(triple9)] The cat needs the bald eagle.[(triple6)] The cat needs the dog.[(triple7)] The cat sees the bald eagle.[(triple8)] The dog does not chase the cat.[(triple10)] The dog needs the bald eagle.[(triple11)] The dog sees the cat.[(triple12)] @1: The cat is blue.[(((triple8) -> rule2))] @2: The cat is not big.[(((((triple8) -> rule2) triple7) -> rule1))]