The rabbit chases the tiger. The rabbit eats the tiger. The rabbit is blue. The rabbit is nice. The rabbit is red. The rabbit is round. The rabbit needs the tiger. The tiger chases the rabbit. The tiger is blue. The tiger is red. The tiger is rough. The tiger needs the rabbit. If something eats the tiger then it needs the rabbit. If the tiger is red and the tiger eats the rabbit then the tiger needs the rabbit. If something needs the tiger and it needs the rabbit then the tiger needs the rabbit. If something eats the tiger then the tiger eats the rabbit. If something eats the tiger and the tiger is rough then the tiger needs the rabbit. All rough things are nice.
The rabbit chases the rabbit.
@0: The rabbit chases the tiger.[(triple1)] The rabbit eats the tiger.[(triple2)] The rabbit is blue.[(triple3)] The rabbit is nice.[(triple4)] The rabbit is red.[(triple5)] The rabbit is round.[(triple6)] The rabbit needs the tiger.[(triple7)] The tiger chases the rabbit.[(triple8)] The tiger is blue.[(triple9)] The tiger is red.[(triple10)] The tiger is rough.[(triple11)] The tiger needs the rabbit.[(triple12 OR ((triple2 triple11) -> rule5) OR ((triple10 ((triple2) -> rule4)) -> rule2) OR ((triple7 ((triple2) -> rule1)) -> rule3))] @1: The rabbit needs the rabbit.[(((triple2) -> rule1))] The tiger eats the rabbit.[(((triple2) -> rule4))] The tiger is nice.[(((triple11) -> rule6))]