The lion chases the squirrel. The lion is red. The lion is young. The squirrel does not chase the lion. The squirrel eats the lion. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel is young. The squirrel visits the lion. If the squirrel eats the lion and the squirrel chases the lion then the lion eats the squirrel. If the squirrel does not eat the lion then the lion chases the squirrel. If something visits the lion then the lion chases the squirrel. Young things are red. If something visits the lion and the lion visits the squirrel then the squirrel does not chase the lion. If something chases the squirrel then it visits the squirrel. If something visits the squirrel then it chases the squirrel. If something eats the squirrel and it does not visit the squirrel then it is not rough.
The squirrel is young.
@0: The lion chases the squirrel.[(triple1 OR ((triple10) -> rule3))] The lion is red.[(triple2 OR ((triple3) -> rule4))] The lion is young.[(triple3)] The squirrel does not chase the lion.[(triple4 OR ((triple10 ((triple1) -> rule6)) -> rule5) OR ((triple10 ((((triple10) -> rule3)) -> rule6)) -> rule5))] The squirrel eats the lion.[(triple5)] The squirrel is nice.[(triple6)] The squirrel is red.[(triple7 OR ((triple9) -> rule4))] The squirrel is rough.[(triple8)] The squirrel is young.[(triple9)] The squirrel visits the lion.[(triple10)] @1: The lion visits the squirrel.[(((triple1) -> rule6) OR ((((triple10) -> rule3)) -> rule6))]