The dog eats the squirrel. The dog is nice. The dog likes the squirrel. The dog visits the lion. The lion is blue. The lion is nice. The lion likes the squirrel. The squirrel likes the lion. The squirrel visits the dog. The squirrel visits the lion. If someone is cold and they eat the lion then the lion likes the squirrel. If someone visits the lion and they like the squirrel then the squirrel is round. If someone is round and they visit the lion then the lion likes the squirrel.
The dog eats the dog.
@0: The dog eats the squirrel.[(triple1)] The dog is nice.[(triple2)] The dog likes the squirrel.[(triple3)] The dog visits the lion.[(triple4)] The lion is blue.[(triple5)] The lion is nice.[(triple6)] The lion likes the squirrel.[(triple7 OR ((((triple4 triple3) -> rule2) triple10) -> rule3))] The squirrel likes the lion.[(triple8)] The squirrel visits the dog.[(triple9)] The squirrel visits the lion.[(triple10)] @1: The squirrel is round.[(((triple4 triple3) -> rule2))]