The bald eagle eats the mouse. The bald eagle is young. The bald eagle likes the mouse. The bald eagle likes the tiger. The bald eagle visits the tiger. The mouse is cold. The mouse likes the bald eagle. The mouse visits the squirrel. The squirrel is blue. The squirrel visits the tiger. The tiger is young. The tiger likes the squirrel. If someone is rough and they like the tiger then they visit the tiger. If someone eats the mouse then they like the mouse.
The mouse does not visit the tiger.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the mouse.[(triple3 OR ((triple1) -> rule2))] The bald eagle likes the tiger.[(triple4)] The bald eagle visits the tiger.[(triple5)] The mouse is cold.[(triple6)] The mouse likes the bald eagle.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel is blue.[(triple9)] The squirrel visits the tiger.[(triple10)] The tiger is young.[(triple11)] The tiger likes the squirrel.[(triple12)]