The bald eagle chases the cow. The bald eagle eats the bear. The bald eagle is rough. The bald eagle visits the bear. The bald eagle visits the cat. The bear chases the bald eagle. The bear eats the cow. The bear is blue. The bear visits the cow. The cat is blue. The cat visits the bear. The cow chases the bald eagle. The cow eats the bear. The cow eats the cat. The cow is nice. The cow visits the cat. If something visits the bear then it eats the cat. If something chases the cat then it eats the bald eagle. If something eats the bald eagle and it visits the cow then the cow chases the cat. If something visits the cat and it chases the bear then the cat chases the bald eagle. If something is blue and it chases the cow then it is kind. If something visits the cow then the cow visits the cat. If something is red then it is kind. If something visits the cat and it chases the bald eagle then it is kind.
The bald eagle is not rough.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle visits the bear.[(triple4)] The bald eagle visits the cat.[(triple5)] The bear chases the bald eagle.[(triple6)] The bear eats the cow.[(triple7)] The bear is blue.[(triple8)] The bear visits the cow.[(triple9)] The cat is blue.[(triple10)] The cat visits the bear.[(triple11)] The cow chases the bald eagle.[(triple12)] The cow eats the bear.[(triple13)] The cow eats the cat.[(triple14)] The cow is nice.[(triple15)] The cow visits the cat.[(triple16 OR ((triple9) -> rule6))] @1: The bald eagle eats the cat.[(((triple4) -> rule1))] The cat eats the cat.[(((triple11) -> rule1))] The cow is kind.[(((triple16 triple12) -> rule8) OR ((((triple9) -> rule6) triple12) -> rule8))]