The cow eats the tiger. The cow is cold. The cow is round. The cow is young. The cow likes the tiger. The cow needs the rabbit. The rabbit is not round. The rabbit needs the cow. The tiger eats the rabbit. The tiger is not rough. The tiger is round. The tiger is young. If the tiger eats the rabbit then the rabbit does not need the tiger. If something is nice then it likes the rabbit. If something is cold then it eats the tiger. If the cow likes the rabbit then the rabbit is nice. If something likes the tiger then it is young. If something likes the rabbit and it needs the rabbit then the rabbit likes the tiger. If something needs the rabbit and the rabbit does not need the tiger then the rabbit likes the tiger. If the tiger is round and the tiger is not young then the tiger does not like the cow.
The tiger does not need the cow.
@0: The cow eats the tiger.[(triple1 OR ((triple2) -> rule3))] The cow is cold.[(triple2)] The cow is round.[(triple3)] The cow is young.[(triple4 OR ((triple5) -> rule5))] The cow likes the tiger.[(triple5)] The cow needs the rabbit.[(triple6)] The rabbit is not round.[(triple7)] The rabbit needs the cow.[(triple8)] The tiger eats the rabbit.[(triple9)] The tiger is not rough.[(triple10)] The tiger is round.[(triple11)] The tiger is young.[(triple12)] @1: The rabbit does not need the tiger.[(((triple9) -> rule1))] @2: The rabbit likes the tiger.[(((triple6 ((triple9) -> rule1)) -> rule7))] @3: The rabbit is young.[(((((triple6 ((triple9) -> rule1)) -> rule7)) -> rule5))]