The cat likes the rabbit. The cat likes the squirrel. The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit is rough. The rabbit is young. The rabbit likes the cat. The squirrel chases the cat. The squirrel is cold. The squirrel is rough. If something eats the cat then the cat chases the rabbit. If something likes the squirrel then it eats the squirrel. If something likes the cat then it eats the squirrel. If something chases the squirrel and it likes the squirrel then the squirrel is cold. If the rabbit eats the squirrel then the squirrel chases the rabbit. Green things are young. If something likes the rabbit and it is big then it chases the squirrel. If something chases the squirrel and the squirrel chases the rabbit then the squirrel eats the cat.
The cat is not rough.
@0: The cat likes the rabbit.[(triple1)] The cat likes the squirrel.[(triple2)] The rabbit chases the squirrel.[(triple3)] The rabbit eats the squirrel.[(triple4 OR ((triple7) -> rule3))] The rabbit is rough.[(triple5)] The rabbit is young.[(triple6)] The rabbit likes the cat.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is rough.[(triple10)] @1: The cat eats the squirrel.[(((triple2) -> rule2))] The squirrel chases the rabbit.[(((triple4) -> rule5) OR ((((triple7) -> rule3)) -> rule5))] @2: The squirrel eats the cat.[(((triple3 ((triple4) -> rule5)) -> rule8) OR ((triple3 ((((triple7) -> rule3)) -> rule5)) -> rule8))] @3: The cat chases the rabbit.[(((((triple3 ((triple4) -> rule5)) -> rule8)) -> rule1) OR ((((triple3 ((((triple7) -> rule3)) -> rule5)) -> rule8)) -> rule1))]