The rabbit eats the tiger. The rabbit is green. The rabbit is red. The rabbit is rough. The rabbit sees the tiger. The rabbit visits the tiger. The tiger eats the rabbit. The tiger is blue. The tiger is red. The tiger is rough. The tiger sees the rabbit. The tiger visits the rabbit. If someone is red then they see the tiger. If someone sees the rabbit and the rabbit sees the tiger then the tiger visits the rabbit.
The rabbit is not cold.
@0: The rabbit eats the tiger.[(triple1)] The rabbit is green.[(triple2)] The rabbit is red.[(triple3)] The rabbit is rough.[(triple4)] The rabbit sees the tiger.[(triple5 OR ((triple3) -> rule1))] The rabbit visits the tiger.[(triple6)] The tiger eats the rabbit.[(triple7)] The tiger is blue.[(triple8)] The tiger is red.[(triple9)] The tiger is rough.[(triple10)] The tiger sees the rabbit.[(triple11)] The tiger visits the rabbit.[(triple12 OR ((triple11 triple5) -> rule2) OR ((triple11 ((triple3) -> rule1)) -> rule2))] @1: The tiger sees the tiger.[(((triple9) -> rule1))]