The dog eats the squirrel. The dog needs the rabbit. The rabbit eats the dog. The rabbit is red. The rabbit is round. The rabbit needs the dog. The squirrel eats the dog. The squirrel is round. The squirrel is young. The squirrel needs the dog. The squirrel needs the rabbit. The squirrel sees the rabbit. The tiger eats the dog. The tiger is young. The tiger sees the rabbit. If someone needs the dog then the dog is young. If someone is red and they eat the tiger then they eat the rabbit. If the squirrel needs the dog then the dog is red.
The dog needs the rabbit.
@0: The dog eats the squirrel.[(triple1)] The dog needs the rabbit.[(triple2)] The rabbit eats the dog.[(triple3)] The rabbit is red.[(triple4)] The rabbit is round.[(triple5)] The rabbit needs the dog.[(triple6)] The squirrel eats the dog.[(triple7)] The squirrel is round.[(triple8)] The squirrel is young.[(triple9)] The squirrel needs the dog.[(triple10)] The squirrel needs the rabbit.[(triple11)] The squirrel sees the rabbit.[(triple12)] The tiger eats the dog.[(triple13)] The tiger is young.[(triple14)] The tiger sees the rabbit.[(triple15)] @1: The dog is red.[(((triple10) -> rule3))] The dog is young.[(((triple10) -> rule1) OR ((triple6) -> rule1))]