The dog eats the squirrel. The dog is kind. The lion eats the dog. The lion is young. The lion likes the dog. The lion sees the squirrel. The squirrel is young. If the squirrel eats the dog and the dog sees the squirrel then the squirrel likes the lion. If the dog is cold and the dog is kind then the dog is blue. If someone is cold then they eat the dog. If someone eats the lion then they like the squirrel. If someone eats the squirrel then the squirrel likes the dog. If someone is kind then they eat the dog. If someone eats the dog and the dog eats the squirrel then the squirrel eats the dog. If someone likes the squirrel and the squirrel is blue then they eat the lion.
The lion does not see the squirrel.
@0: The dog eats the squirrel.[(triple1)] The dog is kind.[(triple2)] The lion eats the dog.[(triple3)] The lion is young.[(triple4)] The lion likes the dog.[(triple5)] The lion sees the squirrel.[(triple6)] The squirrel is young.[(triple7)] @1: The dog eats the dog.[(((triple2) -> rule6))] The squirrel eats the dog.[(((triple3 triple1) -> rule7) OR ((((triple2) -> rule6) triple1) -> rule7))] The squirrel likes the dog.[(((triple1) -> rule5))]