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