The cat needs the squirrel. The squirrel needs the cat. If someone needs the cat then the cat likes the squirrel. If someone likes the squirrel then the squirrel eats the cat. If someone needs the squirrel and the squirrel is big then the squirrel is young. If someone needs the squirrel then they are big. If someone likes the squirrel and the squirrel eats the cat then the cat is nice. If someone eats the cat and the cat eats the squirrel then the squirrel needs the cat. If someone likes the squirrel and they like the cat then the squirrel needs the cat. If someone is cold and round then they need the squirrel.
The squirrel does not eat the cat.
@0: The cat needs the squirrel.[(triple1)] The squirrel needs the cat.[(triple2)] @1: The cat is big.[(((triple1) -> rule4))] The cat likes the squirrel.[(((triple2) -> rule1))] @2: The squirrel eats the cat.[(((((triple2) -> rule1)) -> rule2))] @3: The cat is nice.[(((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule5))]