The bald eagle is blue. The bald eagle is red. The bald eagle is round. The bald eagle likes the mouse. The bear chases the mouse. The bear is blue. The bear is rough. The bear is round. The bear likes the mouse. The lion chases the bald eagle. The lion is not red. The lion does not like the bald eagle. The lion visits the mouse. The mouse is not round. The mouse likes the bear. The mouse likes the lion. If someone chases the mouse then the mouse is rough. If someone chases the bald eagle and the bald eagle visits the bear then they like the mouse. If someone likes the bald eagle and they are red then they visit the lion. If someone likes the mouse then they visit the bear. If the mouse likes the bald eagle then the bald eagle chases the bear. Blue people are red.
The lion likes the mouse.
@0: The bald eagle is blue.[(triple1)] The bald eagle is red.[(triple2 OR ((triple1) -> rule6))] The bald eagle is round.[(triple3)] The bald eagle likes the mouse.[(triple4)] The bear chases the mouse.[(triple5)] The bear is blue.[(triple6)] The bear is rough.[(triple7)] The bear is round.[(triple8)] The bear likes the mouse.[(triple9)] The lion chases the bald eagle.[(triple10)] The lion does not like the bald eagle.[(triple12)] The lion is not red.[(triple11)] The lion visits the mouse.[(triple13)] The mouse is not round.[(triple14)] The mouse likes the bear.[(triple15)] The mouse likes the lion.[(triple16)] @1: The bald eagle visits the bear.[(((triple4) -> rule4))] The bear is red.[(((triple6) -> rule6))] The bear visits the bear.[(((triple9) -> rule4))] The mouse is rough.[(((triple5) -> rule1))] @2: The lion likes the mouse.[(((triple10 ((triple4) -> rule4)) -> rule2))] @3: The lion visits the bear.[(((((triple10 ((triple4) -> rule4)) -> rule2)) -> rule4))]