The cow eats the rabbit. The cow is not rough. The cow is young. The cow likes the rabbit. The cow does not need the rabbit. The rabbit is rough. The rabbit needs the cow. If something needs the cow and the cow eats the rabbit then the cow is big. If something likes the cow and it does not need the cow then it likes the rabbit.
The cow is not young.
@0: The cow does not need the rabbit.[(triple5)] The cow eats the rabbit.[(triple1)] The cow is not rough.[(triple2)] The cow is young.[(triple3)] The cow likes the rabbit.[(triple4)] The rabbit is rough.[(triple6)] The rabbit needs the cow.[(triple7)] @1: The cow is big.[(((triple7 triple1) -> rule1))]