The rabbit eats the tiger. The rabbit is cold. The rabbit is nice. The rabbit is round. The rabbit needs the tiger. The tiger chases the rabbit. The tiger eats the rabbit. The tiger is cold. The tiger is rough. The tiger needs the rabbit. If something chases the rabbit and the rabbit chases the tiger then it needs the tiger. If something is cold and it needs the tiger then it chases the tiger.
The rabbit is big.
@0: The rabbit eats the tiger.[(triple1)] The rabbit is cold.[(triple2)] The rabbit is nice.[(triple3)] The rabbit is round.[(triple4)] The rabbit needs the tiger.[(triple5)] The tiger chases the rabbit.[(triple6)] The tiger eats the rabbit.[(triple7)] The tiger is cold.[(triple8)] The tiger is rough.[(triple9)] The tiger needs the rabbit.[(triple10)] @1: The rabbit chases the tiger.[(((triple2 triple5) -> rule2))] @2: The tiger needs the tiger.[(((triple6 ((triple2 triple5) -> rule2)) -> rule1))] @3: The tiger chases the tiger.[(((triple8 ((triple6 ((triple2 triple5) -> rule2)) -> rule1)) -> rule2))]