The bald eagle chases the cat. The bald eagle chases the cow. The bald eagle is nice. The bald eagle is young. The bald eagle sees the cow. The cat chases the bald eagle. The cat is nice. The cat is rough. The cat is round. The cat sees the bald eagle. The cat visits the bald eagle. The cow chases the bald eagle. The cow chases the cat. The cow sees the cat. The cow visits the cat. If someone sees the cow then they chase the bald eagle. If someone chases the bald eagle and they chase the cow then the cow is cold. If the cat chases the cow and the cow is nice then the cat is rough. If the cat chases the bald eagle then the cat visits the bald eagle. Cold people are round. If someone visits the cow then the cow is nice.
The cat chases the bald eagle.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the cow.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle sees the cow.[(triple5)] The cat chases the bald eagle.[(triple6)] The cat is nice.[(triple7)] The cat is rough.[(triple8)] The cat is round.[(triple9)] The cat sees the bald eagle.[(triple10)] The cat visits the bald eagle.[(triple11 OR ((triple6) -> rule4))] The cow chases the bald eagle.[(triple12)] The cow chases the cat.[(triple13)] The cow sees the cat.[(triple14)] The cow visits the cat.[(triple15)] @1: The bald eagle chases the bald eagle.[(((triple5) -> rule1))] @2: The cow is cold.[(((((triple5) -> rule1) triple2) -> rule2))] @3: The cow is round.[(((((((triple5) -> rule1) triple2) -> rule2)) -> rule5))]