The cat needs the cow. The cow likes the cat. The squirrel visits the cow. Young people are not nice. If the squirrel visits the cat then the squirrel likes the cat. If someone likes the cat then the cat is young. If someone is big and they like the squirrel then the squirrel likes the cow. If someone likes the cat and the cat is not nice then the cat likes the squirrel. If the squirrel likes the cow and the cow is not blue then the cow needs the cat.
The cow does not need the cat.
@0: The cat needs the cow.[(triple1)] The cow likes the cat.[(triple2)] The squirrel visits the cow.[(triple3)] @1: The cat is young.[(((triple2) -> rule3))] @2: The cat is not nice.[(((((triple2) -> rule3)) -> rule1))] @3: The cat likes the squirrel.[(((triple2 ((((triple2) -> rule3)) -> rule1)) -> rule5))]