The dog chases the squirrel. The dog eats the squirrel. The dog sees the squirrel. The lion is nice. The lion is round. The lion sees the dog. The lion sees the squirrel. The squirrel chases the lion. The squirrel eats the dog. The squirrel is big. The squirrel is nice. The squirrel does not see the lion. If the lion eats the squirrel and the squirrel does not eat the lion then the lion eats the dog. If the squirrel sees the lion and the squirrel is not big then the lion is kind. If someone is big then they eat the squirrel. If the lion is kind then the lion eats the squirrel. If someone eats the squirrel then the squirrel does not see the dog. If someone eats the squirrel then they are round. If the lion chases the squirrel then the lion is big. If someone chases the squirrel and they do not eat the squirrel then they do not eat the dog.
The lion is nice.
@0: The dog chases the squirrel.[(triple1)] The dog eats the squirrel.[(triple2)] The dog sees the squirrel.[(triple3)] The lion is nice.[(triple4)] The lion is round.[(triple5)] The lion sees the dog.[(triple6)] The lion sees the squirrel.[(triple7)] The squirrel chases the lion.[(triple8)] The squirrel does not see the lion.[(triple12)] The squirrel eats the dog.[(triple9)] The squirrel is big.[(triple10)] The squirrel is nice.[(triple11)] @1: The dog is round.[(((triple2) -> rule6))] The squirrel does not see the dog.[(((triple2) -> rule5) OR ((((triple10) -> rule3)) -> rule5))] The squirrel eats the squirrel.[(((triple10) -> rule3))] @2: The squirrel is round.[(((((triple10) -> rule3)) -> rule6))]