The cat chases the squirrel. The cow needs the cat. The squirrel is not big. If someone likes the cow then the cow is not round. If the cat needs the cow then the cow needs the squirrel. If someone chases the cow then they like the cow. If someone needs the cow then they like the cow. If someone is big and they need the squirrel then they do not need the cat. If someone needs the cat then the cat needs the cow. If the cow chases the cat and the squirrel does not like the cow then the squirrel is young. If someone likes the squirrel and they do not need the cat then the squirrel is nice.
The squirrel is not young.
@0: The cat chases the squirrel.[(triple1)] The cow needs the cat.[(triple2)] The squirrel is not big.[(triple3)] @1: The cat needs the cow.[(((triple2) -> rule6))] @2: The cat likes the cow.[(((((triple2) -> rule6)) -> rule4))] The cow needs the squirrel.[(((((triple2) -> rule6)) -> rule2))] @3: The cow is not round.[(((((((triple2) -> rule6)) -> rule4)) -> rule1))]