The bear visits the squirrel. The dog is big. The squirrel chases the bear. If someone eats the squirrel and the squirrel visits the dog then the squirrel is kind. If someone is big then they eat the dog. If someone is blue and they chase the bear then they visit the squirrel. If someone eats the bear then the bear chases the squirrel. If someone eats the dog then they are not kind. If someone eats the bear then they are not round.
The squirrel visits the bear.
@0: The bear visits the squirrel.[(triple1)] The dog is big.[(triple2)] The squirrel chases the bear.[(triple3)] @1: The dog eats the dog.[(((triple2) -> rule2))] @2: The dog is not kind.[(((((triple2) -> rule2)) -> rule5))]