The rabbit is green. The rabbit is round. The rabbit is young. The rabbit likes the tiger. The rabbit needs the tiger. The rabbit sees the tiger. The tiger is big. The tiger is green. The tiger is round. The tiger likes the rabbit. The tiger needs the rabbit. The tiger sees the rabbit. If something is big then it needs the rabbit. If something sees the tiger then the tiger likes the rabbit. If the rabbit needs the tiger then the rabbit likes the tiger. If something needs the tiger then the tiger needs the rabbit. If something is round and green then it sees the tiger. If something sees the rabbit then it sees the tiger. If something is green then it needs the tiger. If something likes the rabbit and it is rough then the rabbit is big.
The rabbit does not like the tiger.
@0: The rabbit is green.[(triple1)] The rabbit is round.[(triple2)] The rabbit is young.[(triple3)] The rabbit likes the tiger.[(triple4 OR ((triple5) -> rule3) OR ((((triple1) -> rule7)) -> rule3))] The rabbit needs the tiger.[(triple5 OR ((triple1) -> rule7))] The rabbit sees the tiger.[(triple6 OR ((triple2 triple1) -> rule5))] The tiger is big.[(triple7)] The tiger is green.[(triple8)] The tiger is round.[(triple9)] The tiger likes the rabbit.[(triple10 OR ((triple6) -> rule2) OR ((((triple12) -> rule6)) -> rule2) OR ((((triple2 triple1) -> rule5)) -> rule2) OR ((((triple9 triple8) -> rule5)) -> rule2))] The tiger needs the rabbit.[(triple11 OR ((triple5) -> rule4) OR ((triple7) -> rule1) OR ((((triple1) -> rule7)) -> rule4) OR ((((triple8) -> rule7)) -> rule4))] The tiger sees the rabbit.[(triple12)] @1: The tiger needs the tiger.[(((triple8) -> rule7))] The tiger sees the tiger.[(((triple12) -> rule6) OR ((triple9 triple8) -> rule5))]