The dog eats the rabbit. The dog is nice. The dog is red. The dog sees the rabbit. The dog sees the tiger. The rabbit eats the dog. The rabbit eats the tiger. The rabbit is cold. The rabbit likes the dog. The rabbit sees the dog. The tiger eats the dog. The tiger eats the rabbit. The tiger is big. The tiger is red. The tiger sees the dog. The tiger sees the rabbit. If something eats the dog then the dog sees the tiger. If the tiger sees the dog and the tiger is cold then the dog likes the rabbit. If something likes the tiger then it is cold. If something is nice then it sees the tiger. If something is red then it likes the tiger. If something eats the tiger then it is red.
The tiger sees the tiger.
@0: The dog eats the rabbit.[(triple1)] The dog is nice.[(triple2)] The dog is red.[(triple3)] The dog sees the rabbit.[(triple4)] The dog sees the tiger.[(triple5 OR ((triple11) -> rule1) OR ((triple2) -> rule4) OR ((triple6) -> rule1))] The rabbit eats the dog.[(triple6)] The rabbit eats the tiger.[(triple7)] The rabbit is cold.[(triple8 OR ((((((triple7) -> rule6)) -> rule5)) -> rule3))] The rabbit likes the dog.[(triple9)] The rabbit sees the dog.[(triple10)] The tiger eats the dog.[(triple11)] The tiger eats the rabbit.[(triple12)] The tiger is big.[(triple13)] The tiger is red.[(triple14)] The tiger sees the dog.[(triple15)] The tiger sees the rabbit.[(triple16)] @1: The dog likes the tiger.[(((triple3) -> rule5))] The rabbit is red.[(((triple7) -> rule6))] The tiger likes the tiger.[(((triple14) -> rule5))] @2: The dog is cold.[(((((triple3) -> rule5)) -> rule3))] The rabbit likes the tiger.[(((((triple7) -> rule6)) -> rule5))] The tiger is cold.[(((((triple14) -> rule5)) -> rule3))] @3: The dog likes the rabbit.[(((triple15 ((((triple14) -> rule5)) -> rule3)) -> rule2))]