The bald eagle is red. The bald eagle is young. The bald eagle likes the tiger. The mouse chases the tiger. The mouse is red. The mouse is round. The tiger is not kind. The tiger is round. The tiger likes the bald eagle. The tiger sees the mouse. Round things are red.
The bald eagle likes the mouse.
@0: The bald eagle is red.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the tiger.[(triple3)] The mouse chases the tiger.[(triple4)] The mouse is red.[(triple5 OR ((triple6) -> rule1))] The mouse is round.[(triple6)] The tiger is not kind.[(triple7)] The tiger is round.[(triple8)] The tiger likes the bald eagle.[(triple9)] The tiger sees the mouse.[(triple10)] @1: The tiger is red.[(((triple8) -> rule1))]