The dog chases the lion. The dog sees the lion. The dog does not see the squirrel. The dog visits the squirrel. The lion is not big. The lion is not young. The lion sees the dog. The squirrel chases the dog. The squirrel chases the lion. The squirrel is round. The squirrel is young. The squirrel does not see the dog. The squirrel sees the lion. The squirrel does not visit the dog. The squirrel visits the lion. If something is young and red then it visits the lion. If something is round then it chases the squirrel. If something sees the dog then the dog is not rough. If something chases the dog then the dog visits the lion. If something sees the lion then it chases the dog. If something chases the dog and it is not rough then the dog is big.
The squirrel is round.
@0: The dog chases the lion.[(triple1)] The dog does not see the squirrel.[(triple3)] The dog sees the lion.[(triple2)] The dog visits the squirrel.[(triple4)] The lion is not big.[(triple5)] The lion is not young.[(triple6)] The lion sees the dog.[(triple7)] The squirrel chases the dog.[(triple8 OR ((triple13) -> rule5))] The squirrel chases the lion.[(triple9)] The squirrel does not see the dog.[(triple12)] The squirrel does not visit the dog.[(triple14)] The squirrel is round.[(triple10)] The squirrel is young.[(triple11)] The squirrel sees the lion.[(triple13)] The squirrel visits the lion.[(triple15)] @1: The dog chases the dog.[(((triple2) -> rule5))] The dog is not rough.[(((triple7) -> rule3))] The dog visits the lion.[(((triple8) -> rule4) OR ((((triple13) -> rule5)) -> rule4) OR ((((triple2) -> rule5)) -> rule4))] The squirrel chases the squirrel.[(((triple10) -> rule2))] @2: The dog is big.[(((((triple2) -> rule5) ((triple7) -> rule3)) -> rule6))]