The rabbit eats the tiger. The rabbit is big. The rabbit is round. The rabbit needs the tiger. The rabbit sees the tiger. The tiger eats the rabbit. The tiger is cold. The tiger is rough. The tiger needs the rabbit. The tiger sees the rabbit. If something is blue then it needs the rabbit. If something sees the tiger and the tiger eats the rabbit then the rabbit sees the tiger. If something is cold then it sees the rabbit. If something is cold then it eats the rabbit. If something eats the rabbit then it is cold. If something needs the rabbit and it sees the rabbit then it sees the tiger.
The tiger is cold.
@0: The rabbit eats the tiger.[(triple1)] The rabbit is big.[(triple2)] The rabbit is round.[(triple3)] The rabbit needs the tiger.[(triple4)] The rabbit sees the tiger.[(triple5 OR ((((triple9 triple10) -> rule6) triple6) -> rule2) OR ((((triple9 triple10) -> rule6) ((triple7) -> rule4)) -> rule2) OR ((((triple9 ((triple7) -> rule3)) -> rule6) triple6) -> rule2) OR ((((triple9 ((triple7) -> rule3)) -> rule6) ((triple7) -> rule4)) -> rule2) OR ((((triple9 ((((triple6) -> rule5)) -> rule3)) -> rule6) triple6) -> rule2) OR ((((triple9 ((((triple6) -> rule5)) -> rule3)) -> rule6) ((triple7) -> rule4)) -> rule2))] The tiger eats the rabbit.[(triple6 OR ((triple7) -> rule4))] The tiger is cold.[(triple7 OR ((triple6) -> rule5))] The tiger is rough.[(triple8)] The tiger needs the rabbit.[(triple9)] The tiger sees the rabbit.[(triple10 OR ((triple7) -> rule3) OR ((((triple6) -> rule5)) -> rule3))] @1: The tiger sees the tiger.[(((triple9 triple10) -> rule6) OR ((triple9 ((triple7) -> rule3)) -> rule6) OR ((triple9 ((((triple6) -> rule5)) -> rule3)) -> rule6))]