The cow sees the lion. The cow visits the squirrel. The dog is red. The lion is young. The lion visits the squirrel. The squirrel visits the cow. The squirrel visits the dog. All cold things are nice. Red things are cold. If something eats the lion and it is not red then the lion is young. If something eats the dog and it does not see the squirrel then the squirrel visits the dog. If the cow eats the dog and the dog is red then the dog is not rough. If something eats the lion then the lion eats the dog. All nice things are rough. If something visits the dog and it is not cold then it is rough.
The dog does not visit the cow.
@0: The cow sees the lion.[(triple1)] The cow visits the squirrel.[(triple2)] The dog is red.[(triple3)] The lion is young.[(triple4)] The lion visits the squirrel.[(triple5)] The squirrel visits the cow.[(triple6)] The squirrel visits the dog.[(triple7)] @1: The dog is cold.[(((triple3) -> rule2))] @2: The dog is nice.[(((((triple3) -> rule2)) -> rule1))] @3: The dog is rough.[(((((((triple3) -> rule2)) -> rule1)) -> rule7))]