The bald eagle is nice. The bald eagle is rough. The bald eagle is round. The bald eagle needs the bear. The bald eagle needs the tiger. The bald eagle sees the bear. The bald eagle sees the tiger. The bald eagle visits the cat. The bear is not cold. The bear does not need the bald eagle. The bear sees the tiger. The bear visits the bald eagle. The cat is blue. The cat does not see the bear. The tiger needs the cat. The tiger sees the cat. If something sees the tiger then it visits the tiger. If the tiger is rough then the tiger is blue.
The bald eagle does not visit the cat.
@0: The bald eagle is nice.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle needs the bear.[(triple4)] The bald eagle needs the tiger.[(triple5)] The bald eagle sees the bear.[(triple6)] The bald eagle sees the tiger.[(triple7)] The bald eagle visits the cat.[(triple8)] The bear does not need the bald eagle.[(triple10)] The bear is not cold.[(triple9)] The bear sees the tiger.[(triple11)] The bear visits the bald eagle.[(triple12)] The cat does not see the bear.[(triple14)] The cat is blue.[(triple13)] The tiger needs the cat.[(triple15)] The tiger sees the cat.[(triple16)] @1: The bald eagle visits the tiger.[(((triple7) -> rule1))] The bear visits the tiger.[(((triple11) -> rule1))]