The rabbit visits the squirrel. The squirrel is red. The squirrel visits the rabbit. If someone is cold then they like the rabbit. Red people are cold. If someone visits the squirrel and the squirrel visits the rabbit then the rabbit visits the squirrel. If someone is cold and they need the rabbit then they visit the rabbit. If someone likes the rabbit then they need the squirrel. If someone needs the rabbit and the rabbit visits the squirrel then they like the rabbit.
The squirrel is not big.
@0: The rabbit visits the squirrel.[(triple1)] The squirrel is red.[(triple2)] The squirrel visits the rabbit.[(triple3)] @1: The squirrel is cold.[(((triple2) -> rule2))] @2: The squirrel likes the rabbit.[(((((triple2) -> rule2)) -> rule1))] @3: The squirrel needs the squirrel.[(((((((triple2) -> rule2)) -> rule1)) -> rule5))]