The bald eagle is cold. The bald eagle is red. The bald eagle visits the bear. The bear is young. The bear likes the dog. The bear needs the cat. The bear needs the dog. The bear visits the cat. The bear visits the dog. The cat is young. The cat needs the bald eagle. The cat needs the bear. The dog is red. The dog likes the bald eagle. The dog likes the cat. The dog visits the bear. If something likes the dog then it needs the cat. If the bear likes the cat then the bear is red. If something needs the bear and the bear is blue then the bear visits the bald eagle. If something likes the dog then it needs the dog. If something likes the dog then it visits the bear. If something likes the dog then the dog is young.
The cat is not young.
@0: The bald eagle is cold.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear is young.[(triple4)] The bear likes the dog.[(triple5)] The bear needs the cat.[(triple6 OR ((triple5) -> rule1))] The bear needs the dog.[(triple7 OR ((triple5) -> rule4))] The bear visits the cat.[(triple8)] The bear visits the dog.[(triple9)] The cat is young.[(triple10)] The cat needs the bald eagle.[(triple11)] The cat needs the bear.[(triple12)] The dog is red.[(triple13)] The dog likes the bald eagle.[(triple14)] The dog likes the cat.[(triple15)] The dog visits the bear.[(triple16)] @1: The bear visits the bear.[(((triple5) -> rule5))] The dog is young.[(((triple5) -> rule6))]