The bald eagle is blue. The bald eagle is nice. The bald eagle sees the rabbit. The cow is not blue. The cow visits the rabbit. The rabbit chases the bald eagle. The rabbit chases the cow. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit sees the bald eagle. The rabbit visits the bald eagle. If something visits the cow then it visits the bald eagle. If something is nice then it visits the cow. If the bald eagle visits the cow and the cow chases the bald eagle then the cow is blue. If the bald eagle visits the cow then the cow sees the bald eagle. If something is blue and it chases the cow then it is big. If the bald eagle visits the cow then the bald eagle chases the cow.
The cow is kind.
@0: The bald eagle is blue.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The cow is not blue.[(triple4)] The cow visits the rabbit.[(triple5)] The rabbit chases the bald eagle.[(triple6)] The rabbit chases the cow.[(triple7)] The rabbit is kind.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is red.[(triple10)] The rabbit sees the bald eagle.[(triple11)] The rabbit visits the bald eagle.[(triple12 OR ((((triple9) -> rule2)) -> rule1))] @1: The bald eagle visits the cow.[(((triple2) -> rule2))] The rabbit visits the cow.[(((triple9) -> rule2))] @2: The bald eagle chases the cow.[(((((triple2) -> rule2)) -> rule6))] The bald eagle visits the bald eagle.[(((((triple2) -> rule2)) -> rule1))] The cow sees the bald eagle.[(((((triple2) -> rule2)) -> rule4))] @3: The bald eagle is big.[(((triple1 ((((triple2) -> rule2)) -> rule6)) -> rule5))]