The bald eagle chases the bear. The bald eagle eats the bear. The bald eagle is rough. The bald eagle is round. The bear eats the cat. The bear eats the rabbit. The bear is green. The bear visits the bald eagle. The cat chases the rabbit. The cat visits the bear. The rabbit chases the bear. The rabbit chases the cat. The rabbit eats the bald eagle. The rabbit is red. The rabbit is rough. The rabbit visits the cat. All round things are rough. If something eats the bald eagle and the bald eagle chases the bear then the bear chases the rabbit. If the bald eagle chases the bear then the bear eats the bald eagle. If the bear chases the cat and the cat chases the bear then the cat eats the rabbit. If something is round and green then it chases the bald eagle. If something chases the rabbit and the rabbit chases the bear then the rabbit is young.
The cat visits the bear.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle is rough.[(triple3 OR ((triple4) -> rule1))] The bald eagle is round.[(triple4)] The bear eats the cat.[(triple5)] The bear eats the rabbit.[(triple6)] The bear is green.[(triple7)] The bear visits the bald eagle.[(triple8)] The cat chases the rabbit.[(triple9)] The cat visits the bear.[(triple10)] The rabbit chases the bear.[(triple11)] The rabbit chases the cat.[(triple12)] The rabbit eats the bald eagle.[(triple13)] The rabbit is red.[(triple14)] The rabbit is rough.[(triple15)] The rabbit visits the cat.[(triple16)] @1: The bear chases the rabbit.[(((triple13 triple1) -> rule2) OR ((((triple1) -> rule3) triple1) -> rule2))] The bear eats the bald eagle.[(((triple1) -> rule3))] The rabbit is young.[(((triple9 triple11) -> rule6) OR ((((triple13 triple1) -> rule2) triple11) -> rule6) OR ((((((triple1) -> rule3) triple1) -> rule2) triple11) -> rule6))]