The bald eagle eats the rabbit. The bear is rough. The dog sees the bald eagle. The rabbit sees the dog. If something sees the bald eagle and it sees the dog then it is round. If something is green then it sees the bald eagle. If the bald eagle is blue and the bald eagle chases the rabbit then the rabbit chases the bald eagle. If something sees the dog then it is green. All green things are blue. If something eats the bald eagle then the bald eagle is blue. If something sees the bald eagle then it chases the bald eagle. All blue things are green.
The bear is round.
@0: The bald eagle eats the rabbit.[(triple1)] The bear is rough.[(triple2)] The dog sees the bald eagle.[(triple3)] The rabbit sees the dog.[(triple4)] @1: The dog chases the bald eagle.[(((triple3) -> rule7))] The rabbit is green.[(((triple4) -> rule4))] @2: The rabbit is blue.[(((((triple4) -> rule4)) -> rule5))] The rabbit sees the bald eagle.[(((((triple4) -> rule4)) -> rule2))] @3: The rabbit chases the bald eagle.[(((((((triple4) -> rule4)) -> rule2)) -> rule7))] The rabbit is round.[(((((((triple4) -> rule4)) -> rule2) triple4) -> rule1))]