The lion is nice. The lion is round. The lion sees the squirrel. The lion visits the squirrel. The squirrel chases the lion. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel sees the lion. The squirrel visits the lion. If the squirrel sees the lion and the lion is nice then the squirrel is rough. Rough things are red. If something is rough and round then it chases the squirrel. If something chases the squirrel and it is red then the squirrel is round. If something sees the lion then it visits the lion. All nice things are round.
The squirrel sees the squirrel.
@0: The lion is nice.[(triple1)] The lion is round.[(triple2 OR ((triple1) -> rule6))] The lion sees the squirrel.[(triple3)] The lion visits the squirrel.[(triple4)] The squirrel chases the lion.[(triple5)] The squirrel is kind.[(triple6)] The squirrel is red.[(triple7 OR ((triple8) -> rule2) OR ((((triple9 triple1) -> rule1)) -> rule2))] The squirrel is rough.[(triple8 OR ((triple9 triple1) -> rule1))] The squirrel sees the lion.[(triple9)] The squirrel visits the lion.[(triple10 OR ((triple9) -> rule5))]