The bald eagle is blue. The bald eagle is green. The cat chases the dog. The cat needs the dog. The cat visits the bald eagle. The cat does not visit the dog. The dog does not chase the bald eagle. The dog chases the cat. The dog is big. The dog visits the bald eagle. If the dog visits the bald eagle and the dog needs the cat then the dog is nice. If the bald eagle chases the cat then the cat is cold. If something chases the dog then it chases the bald eagle. If something chases the dog and the dog visits the bald eagle then the dog is big. If something chases the bald eagle then it is cold. If the cat is cold then the cat needs the bald eagle.
The cat does not chase the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2)] The cat chases the dog.[(triple3)] The cat does not visit the dog.[(triple6)] The cat needs the dog.[(triple4)] The cat visits the bald eagle.[(triple5)] The dog chases the cat.[(triple8)] The dog does not chase the bald eagle.[(triple7)] The dog is big.[(triple9 OR ((triple3 triple10) -> rule4))] The dog visits the bald eagle.[(triple10)] @1: The cat chases the bald eagle.[(((triple3) -> rule3))] @2: The cat is cold.[(((((triple3) -> rule3)) -> rule5))] @3: The cat needs the bald eagle.[(((((((triple3) -> rule3)) -> rule5)) -> rule6))]