The bald eagle chases the bear. The bald eagle chases the tiger. The bald eagle is blue. The bald eagle is not red. The bald eagle sees the tiger. The bear chases the bald eagle. The bear is red. The bear visits the tiger. The tiger does not chase the bald eagle. The tiger is red. The tiger visits the bald eagle. The tiger visits the bear. If the bald eagle sees the bear and the bald eagle is not red then the bear is kind. If someone sees the tiger and the tiger visits the bear then the bear chases the bald eagle. If someone sees the tiger then they visit the tiger. If the bear is round and the bear is not red then the bear is not rough. If someone chases the tiger then they visit the bald eagle. If someone is kind then they do not visit the bear.
The tiger visits the tiger.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is not red.[(triple4)] The bald eagle sees the tiger.[(triple5)] The bear chases the bald eagle.[(triple6 OR ((triple5 triple12) -> rule2))] The bear is red.[(triple7)] The bear visits the tiger.[(triple8)] The tiger does not chase the bald eagle.[(triple9)] The tiger is red.[(triple10)] The tiger visits the bald eagle.[(triple11)] The tiger visits the bear.[(triple12)] @1: The bald eagle visits the bald eagle.[(((triple2) -> rule5))] The bald eagle visits the tiger.[(((triple5) -> rule3))]