The bald eagle chases the mouse. The bald eagle chases the tiger. The bald eagle is blue. The bald eagle is cold. The bald eagle is young. The bald eagle likes the tiger. The bald eagle visits the tiger. The mouse is big. The mouse is round. The mouse likes the tiger. The tiger chases the bald eagle. The tiger likes the bald eagle. If something is young and it likes the tiger then it chases the mouse. If something chases the tiger and it visits the mouse then the mouse visits the tiger.
The mouse does not chase the mouse.
@0: The bald eagle chases the mouse.[(triple1 OR ((triple5 triple6) -> rule1))] The bald eagle chases the tiger.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle likes the tiger.[(triple6)] The bald eagle visits the tiger.[(triple7)] The mouse is big.[(triple8)] The mouse is round.[(triple9)] The mouse likes the tiger.[(triple10)] The tiger chases the bald eagle.[(triple11)] The tiger likes the bald eagle.[(triple12)]