The rabbit is green. The rabbit is young. The rabbit likes the tiger. The rabbit needs the tiger. The rabbit sees the tiger. The tiger is cold. The tiger is green. The tiger is not red. The tiger is young. The tiger likes the rabbit. The tiger needs the rabbit. The tiger sees the rabbit. If something is round then it is cold. If something is round then it sees the rabbit. If something likes the rabbit then it sees the rabbit. Red things are round. If something needs the tiger and the tiger does not like the rabbit then the rabbit does not like the tiger. If the tiger likes the rabbit and the tiger sees the rabbit then the rabbit is not red. If something likes the tiger then it needs the rabbit. If the rabbit sees the tiger then the tiger is green.
The tiger is not young.
@0: The rabbit is green.[(triple1)] The rabbit is young.[(triple2)] The rabbit likes the tiger.[(triple3)] The rabbit needs the tiger.[(triple4)] The rabbit sees the tiger.[(triple5)] The tiger is cold.[(triple6)] The tiger is green.[(triple7 OR ((triple5) -> rule8))] The tiger is not red.[(triple8)] The tiger is young.[(triple9)] The tiger likes the rabbit.[(triple10)] The tiger needs the rabbit.[(triple11)] The tiger sees the rabbit.[(triple12 OR ((triple10) -> rule3))] @1: The rabbit is not red.[(((triple10 triple12) -> rule6) OR ((triple10 ((triple10) -> rule3)) -> rule6))] The rabbit needs the rabbit.[(((triple3) -> rule7))]