The cat is round. The cat visits the squirrel. The lion chases the squirrel. The lion is big. The squirrel chases the cat. The squirrel eats the lion. The squirrel is rough. All rough things are big. If something visits the cat and it chases the squirrel then the cat chases the lion. If something is round and it chases the squirrel then the squirrel eats the lion. Nice things are big. If something is big and it chases the cat then the cat is rough. If something chases the lion then the lion is green. If something chases the squirrel and the squirrel visits the lion then it is round. If something is round then it eats the squirrel.
The cat does not eat the cat.
@0: The cat is round.[(triple1)] The cat visits the squirrel.[(triple2)] The lion chases the squirrel.[(triple3)] The lion is big.[(triple4)] The squirrel chases the cat.[(triple5)] The squirrel eats the lion.[(triple6)] The squirrel is rough.[(triple7)] @1: The cat eats the squirrel.[(((triple1) -> rule8))] The squirrel is big.[(((triple7) -> rule1))] @2: The cat is rough.[(((((triple7) -> rule1) triple5) -> rule5))] @3: The cat is big.[(((((((triple7) -> rule1) triple5) -> rule5)) -> rule1))]