The rabbit eats the tiger. The rabbit is green. The rabbit is red. The rabbit likes the tiger. The tiger eats the rabbit. The tiger is big. The tiger is green. The tiger is not kind. The tiger is nice. The tiger is red. The tiger likes the rabbit. The tiger sees the rabbit. All red things are nice. If the tiger sees the rabbit then the tiger likes the rabbit. If something eats the tiger and it is nice then it sees the tiger. If something is big and it likes the rabbit then it sees the tiger. If the tiger is not red then the tiger sees the rabbit. If something likes the rabbit then it sees the rabbit.
The tiger does not see the tiger.
@0: The rabbit eats the tiger.[(triple1)] The rabbit is green.[(triple2)] The rabbit is red.[(triple3)] The rabbit likes the tiger.[(triple4)] The tiger eats the rabbit.[(triple5)] The tiger is big.[(triple6)] The tiger is green.[(triple7)] The tiger is nice.[(triple9 OR ((triple10) -> rule1))] The tiger is not kind.[(triple8)] The tiger is red.[(triple10)] The tiger likes the rabbit.[(triple11 OR ((triple12) -> rule2))] The tiger sees the rabbit.[(triple12 OR ((triple11) -> rule6))] @1: The rabbit is nice.[(((triple3) -> rule1))] The tiger sees the tiger.[(((triple6 triple11) -> rule4) OR ((triple6 ((triple12) -> rule2)) -> rule4))] @2: The rabbit sees the tiger.[(((triple1 ((triple3) -> rule1)) -> rule3))]