The cow likes the rabbit. The cow needs the tiger. The cow visits the tiger. The rabbit is big. The rabbit is cold. The rabbit is nice. The rabbit does not like the cow. The tiger is cold. The tiger is nice. The tiger needs the rabbit. If someone needs the cow and they do not like the cow then the cow visits the rabbit. If someone is nice and young then they visit the cow. If the rabbit needs the cow then the cow needs the tiger. If the cow is cold and the cow needs the tiger then the cow likes the tiger. If the rabbit likes the cow and the rabbit is not nice then the cow is not round. If someone needs the cow then they are young. If someone needs the rabbit then they need the cow. If someone likes the tiger then the tiger is nice.
The tiger is young.
@0: The cow likes the rabbit.[(triple1)] The cow needs the tiger.[(triple2)] The cow visits the tiger.[(triple3)] The rabbit does not like the cow.[(triple7)] The rabbit is big.[(triple4)] The rabbit is cold.[(triple5)] The rabbit is nice.[(triple6)] The tiger is cold.[(triple8)] The tiger is nice.[(triple9)] The tiger needs the rabbit.[(triple10)] @1: The tiger needs the cow.[(((triple10) -> rule7))] @2: The tiger is young.[(((((triple10) -> rule7)) -> rule6))] @3: The tiger visits the cow.[(((triple9 ((((triple10) -> rule7)) -> rule6)) -> rule2))]