The bald eagle visits the lion. The cow is round. The dog is cold. The dog visits the lion. The lion chases the cow. The lion sees the cow. The lion sees the dog. If something visits the lion and it is cold then the lion sees the dog. If the lion chases the dog then the dog is cold. If something sees the dog then it chases the bald eagle. If something visits the bald eagle and the bald eagle sees the dog then the dog is red. If something is round and it chases the cow then it visits the lion. All cold, round things are rough.
The lion is not rough.
@0: The bald eagle visits the lion.[(triple1)] The cow is round.[(triple2)] The dog is cold.[(triple3)] The dog visits the lion.[(triple4)] The lion chases the cow.[(triple5)] The lion sees the cow.[(triple6)] The lion sees the dog.[(triple7 OR ((triple4 triple3) -> rule1))] @1: The lion chases the bald eagle.[(((triple7) -> rule3) OR ((((triple4 triple3) -> rule1)) -> rule3))]