The bald eagle is round. The cow is red. The lion eats the bald eagle. The rabbit visits the lion. If something is blue then it likes the rabbit. Round things are blue. If something is blue then it visits the lion. If something likes the rabbit and it is round then the rabbit likes the bald eagle. If something is cold and it likes the rabbit then the rabbit eats the bald eagle. If something likes the rabbit then the rabbit likes the lion. If something visits the lion and it likes the lion then the lion is blue. If something is cold and red then it eats the rabbit.
The bald eagle does not eat the rabbit.
@0: The bald eagle is round.[(triple1)] The cow is red.[(triple2)] The lion eats the bald eagle.[(triple3)] The rabbit visits the lion.[(triple4)] @1: The bald eagle is blue.[(((triple1) -> rule2))] @2: The bald eagle likes the rabbit.[(((((triple1) -> rule2)) -> rule1))] The bald eagle visits the lion.[(((((triple1) -> rule2)) -> rule3))] @3: The rabbit likes the bald eagle.[(((((((triple1) -> rule2)) -> rule1) triple1) -> rule4))] The rabbit likes the lion.[(((((((triple1) -> rule2)) -> rule1)) -> rule6))] @4: The lion is blue.[(((triple4 ((((((triple1) -> rule2)) -> rule1)) -> rule6)) -> rule7))] @5: The lion likes the rabbit.[(((((triple4 ((((((triple1) -> rule2)) -> rule1)) -> rule6)) -> rule7)) -> rule1))] The lion visits the lion.[(((((triple4 ((((((triple1) -> rule2)) -> rule1)) -> rule6)) -> rule7)) -> rule3))]