The bald eagle chases the cat. The bald eagle chases the cow. The bald eagle is rough. The bald eagle visits the bear. The bald eagle visits the cat. The bear chases the cat. The bear likes the bald eagle. The bear does not like the cow. The bear visits the bald eagle. The bear does not visit the cat. The cat chases the bald eagle. The cat does not visit the bald eagle. The cow is not big. The cow is kind. The cow visits the bear. The cow visits the cat. All round, rough things are kind. If something is green then it visits the cat. If something chases the cow and the cow is kind then it is round. If something is kind then it visits the cow. If something likes the bear and it is not kind then it does not visit the cow. If something chases the bear and the bear visits the cow then the bear does not chase the cat.
The bald eagle is round.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the cow.[(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 cat.[(triple6)] The bear does not like the cow.[(triple8)] The bear does not visit the cat.[(triple10)] The bear likes the bald eagle.[(triple7)] The bear visits the bald eagle.[(triple9)] The cat chases the bald eagle.[(triple11)] The cat does not visit the bald eagle.[(triple12)] The cow is kind.[(triple14)] The cow is not big.[(triple13)] The cow visits the bear.[(triple15)] The cow visits the cat.[(triple16)] @1: The bald eagle is round.[(((triple2 triple14) -> rule3))] The cow visits the cow.[(((triple14) -> rule4))] @2: The bald eagle is kind.[(((((triple2 triple14) -> rule3) triple3) -> rule1))] @3: The bald eagle visits the cow.[(((((((triple2 triple14) -> rule3) triple3) -> rule1)) -> rule4))]