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