The rabbit visits the squirrel. The squirrel needs the rabbit. If someone likes the squirrel then the squirrel is rough. If someone needs the rabbit then they visit the squirrel. All rough people are nice. If someone needs the rabbit and they need the squirrel then the rabbit needs the squirrel. If someone needs the rabbit then the rabbit likes the squirrel. If someone visits the rabbit and they need the squirrel then the rabbit likes the squirrel. If someone visits the squirrel and they like the squirrel then the squirrel needs the rabbit. If someone visits the squirrel and they are blue then they need the squirrel.
The squirrel is nice.
@0: The rabbit visits the squirrel.[(triple1)] The squirrel needs the rabbit.[(triple2)] @1: The rabbit likes the squirrel.[(((triple2) -> rule5))] The squirrel visits the squirrel.[(((triple2) -> rule2))] @2: The squirrel is rough.[(((((triple2) -> rule5)) -> rule1))] @3: The squirrel is nice.[(((((((triple2) -> rule5)) -> rule1)) -> rule3))]