The cow is big. The rabbit likes the cow. The squirrel needs the rabbit. The squirrel visits the tiger. The tiger is big. The tiger is young. The tiger visits the squirrel. If someone visits the cow then they visit the rabbit. If the squirrel needs the rabbit then the rabbit needs the cow. If someone likes the cow then the cow is big.
The cow likes the tiger.
@0: The cow is big.[(triple1 OR ((triple2) -> rule3))] The rabbit likes the cow.[(triple2)] The squirrel needs the rabbit.[(triple3)] The squirrel visits the tiger.[(triple4)] The tiger is big.[(triple5)] The tiger is young.[(triple6)] The tiger visits the squirrel.[(triple7)] @1: The rabbit needs the cow.[(((triple3) -> rule2))]