The bald eagle chases the dog. The bald eagle is cold. The bald eagle is nice. The bald eagle is red. The cat is blue. The cat is cold. The cat sees the bald eagle. The cat visits the dog. The dog is blue. The dog is cold. The dog is nice. The dog is red. The dog sees the cat. The dog visits the bald eagle. The dog visits the cat. If someone visits the cat then the cat visits the dog. If the bald eagle chases the cat and the cat chases the bald eagle then the bald eagle visits the cat. If the bald eagle is rough and the bald eagle chases the dog then the dog chases the cat. If someone visits the cat and they are red then the cat chases the dog. If someone chases the dog then they see the cat. If the bald eagle sees the dog then the dog is cold. If someone sees the cat then they are nice. If the cat chases the bald eagle and the bald eagle sees the dog then the cat is nice.
The dog is not nice.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is nice.[(triple3 OR ((((triple1) -> rule5)) -> rule7))] The bald eagle is red.[(triple4)] The cat is blue.[(triple5)] The cat is cold.[(triple6)] The cat sees the bald eagle.[(triple7)] The cat visits the dog.[(triple8 OR ((triple15) -> rule1))] The dog is blue.[(triple9)] The dog is cold.[(triple10)] The dog is nice.[(triple11 OR ((triple13) -> rule7))] The dog is red.[(triple12)] The dog sees the cat.[(triple13)] The dog visits the bald eagle.[(triple14)] The dog visits the cat.[(triple15)] @1: The bald eagle sees the cat.[(((triple1) -> rule5))] The cat chases the dog.[(((triple15 triple12) -> rule4))] @2: The cat sees the cat.[(((((triple15 triple12) -> rule4)) -> rule5))] @3: The cat is nice.[(((((((triple15 triple12) -> rule4)) -> rule5)) -> rule7))]