The dog eats the squirrel. The dog is round. The dog needs the squirrel. The dog sees the rabbit. The rabbit eats the dog. The rabbit is blue. The rabbit is nice. The rabbit is round. The rabbit needs the squirrel. The rabbit sees the dog. The rabbit sees the squirrel. The squirrel eats the rabbit. The squirrel is nice. The squirrel is round. The squirrel sees the dog. The squirrel sees the rabbit. If someone eats the dog then they eat the squirrel. If someone eats the squirrel and the squirrel is nice then they are red.
The squirrel does not eat the dog.
@0: The dog eats the squirrel.[(triple1)] The dog is round.[(triple2)] The dog needs the squirrel.[(triple3)] The dog sees the rabbit.[(triple4)] The rabbit eats the dog.[(triple5)] The rabbit is blue.[(triple6)] The rabbit is nice.[(triple7)] The rabbit is round.[(triple8)] The rabbit needs the squirrel.[(triple9)] The rabbit sees the dog.[(triple10)] The rabbit sees the squirrel.[(triple11)] The squirrel eats the rabbit.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is round.[(triple14)] The squirrel sees the dog.[(triple15)] The squirrel sees the rabbit.[(triple16)] @1: The dog is red.[(((triple1 triple13) -> rule2))] The rabbit eats the squirrel.[(((triple5) -> rule1))] @2: The rabbit is red.[(((((triple5) -> rule1) triple13) -> rule2))]