The cow likes the rabbit. The rabbit likes the cow. The rabbit visits the cow. If something is cold and it visits the cow then it eats the cow. If something is young and it visits the cow then the cow eats the rabbit. If something eats the cow then the cow is big. If the rabbit likes the cow and the cow likes the rabbit then the rabbit eats the cow. If something visits the cow then it eats the cow. If something is cold and it eats the rabbit then the rabbit likes the cow.
The rabbit visits the cow.
@0: The cow likes the rabbit.[(triple1)] The rabbit likes the cow.[(triple2)] The rabbit visits the cow.[(triple3)] @1: The rabbit eats the cow.[(((triple3) -> rule5) OR ((triple2 triple1) -> rule4))] @2: The cow is big.[(((((triple3) -> rule5)) -> rule3) OR ((((triple2 triple1) -> rule4)) -> rule3))]