The bald eagle likes the tiger. The bald eagle sees the cat. The bald eagle sees the tiger. The cat is green. The cat is young. The cat does not like the bald eagle. The cat sees the bald eagle. The cat sees the tiger. The cat visits the mouse. The mouse is not round. The mouse is young. The mouse likes the tiger. The mouse does not visit the bald eagle. The tiger is not red. The tiger does not see the cat. The tiger sees the mouse. If someone likes the tiger and the tiger is green then they do not visit the tiger. If someone likes the tiger then they visit the tiger. If the cat likes the bald eagle and the bald eagle does not visit the mouse then the cat does not visit the mouse. If someone likes the bald eagle and the bald eagle sees the tiger then the tiger is rough. If someone visits the tiger and they do not see the tiger then the tiger sees the mouse. If the tiger is red and the tiger visits the cat then the tiger sees the cat.
The cat does not see the cat.
@0: The bald eagle likes the tiger.[(triple1)] The bald eagle sees the cat.[(triple2)] The bald eagle sees the tiger.[(triple3)] The cat does not like the bald eagle.[(triple6)] The cat is green.[(triple4)] The cat is young.[(triple5)] The cat sees the bald eagle.[(triple7)] The cat sees the tiger.[(triple8)] The cat visits the mouse.[(triple9)] The mouse does not visit the bald eagle.[(triple13)] The mouse is not round.[(triple10)] The mouse is young.[(triple11)] The mouse likes the tiger.[(triple12)] The tiger does not see the cat.[(triple15)] The tiger is not red.[(triple14)] The tiger sees the mouse.[(triple16)] @1: The bald eagle visits the tiger.[(((triple1) -> rule2))] The mouse visits the tiger.[(((triple12) -> rule2))]