The cat visits the squirrel. The squirrel likes the cat. Red people are rough. If someone is big then they visit the squirrel. If the squirrel likes the cat and the squirrel visits the cat then the squirrel is big. If someone visits the squirrel and the squirrel is blue then the squirrel likes the cat. If someone visits the squirrel then the squirrel visits the cat. If someone chases the squirrel and the squirrel visits the cat then they like the cat. If someone is young and red then they visit the cat. If someone likes the squirrel then the squirrel chases the cat.
The squirrel does not visit the cat.
@0: The cat visits the squirrel.[(triple1)] The squirrel likes the cat.[(triple2)] @1: The squirrel visits the cat.[(((triple1) -> rule5))] @2: The squirrel is big.[(((triple2 ((triple1) -> rule5)) -> rule3))] @3: The squirrel visits the squirrel.[(((((triple2 ((triple1) -> rule5)) -> rule3)) -> rule2))]