The dog is young. The dog likes the squirrel. The lion eats the dog. The lion likes the dog. The squirrel chases the dog. The squirrel eats the lion. The squirrel likes the lion. If something is young and it eats the dog then the dog is rough. If something is cold then it is young. If something likes the squirrel then it eats the dog. If the squirrel eats the lion and the lion is cold then the squirrel eats the dog. Rough things are cold. If something likes the lion then it chases the squirrel. If the squirrel likes the dog then the dog chases the lion. If something likes the lion then it likes the squirrel.
The squirrel eats the dog.
@0: The dog is young.[(triple1)] The dog likes the squirrel.[(triple2)] The lion eats the dog.[(triple3)] The lion likes the dog.[(triple4)] The squirrel chases the dog.[(triple5)] The squirrel eats the lion.[(triple6)] The squirrel likes the lion.[(triple7)] @1: The dog eats the dog.[(((triple2) -> rule3))] The squirrel chases the squirrel.[(((triple7) -> rule6))] The squirrel likes the squirrel.[(((triple7) -> rule8))] @2: The dog is rough.[(((triple1 ((triple2) -> rule3)) -> rule1))] The squirrel eats the dog.[(((((triple7) -> rule8)) -> rule3))] @3: The dog is cold.[(((((triple1 ((triple2) -> rule3)) -> rule1)) -> rule5))]