The dog eats the rabbit. The dog eats the tiger. The dog likes the rabbit. The dog sees the rabbit. The rabbit is rough. The rabbit is round. The rabbit likes the dog. The rabbit sees the tiger. The tiger does not eat the rabbit. The tiger sees the dog. If the rabbit sees the dog and the dog eats the tiger then the tiger does not eat the dog. If something eats the rabbit and the rabbit likes the dog then the rabbit eats the dog. If something is rough then it is red. If something is blue and red then it likes the tiger. If the rabbit likes the tiger then the tiger is rough. If something is red then it eats the rabbit.
The rabbit eats the rabbit.
@0: The dog eats the rabbit.[(triple1)] The dog eats the tiger.[(triple2)] The dog likes the rabbit.[(triple3)] The dog sees the rabbit.[(triple4)] The rabbit is rough.[(triple5)] The rabbit is round.[(triple6)] The rabbit likes the dog.[(triple7)] The rabbit sees the tiger.[(triple8)] The tiger does not eat the rabbit.[(triple9)] The tiger sees the dog.[(triple10)] @1: The rabbit eats the dog.[(((triple1 triple7) -> rule2) OR ((((((triple5) -> rule3)) -> rule6) triple7) -> rule2))] The rabbit is red.[(((triple5) -> rule3))] @2: The rabbit eats the rabbit.[(((((triple5) -> rule3)) -> rule6))]