The rabbit is big. The rabbit needs the squirrel. The rabbit sees the squirrel. The rabbit visits the squirrel. The squirrel is big. The squirrel is blue. The squirrel visits the rabbit. If something sees the rabbit and the rabbit visits the squirrel then it is red. If something is young and it visits the squirrel then it sees the rabbit. If something is red and it visits the rabbit then it sees the rabbit. If the rabbit is red and the rabbit is big then the rabbit visits the squirrel. If something needs the squirrel and it visits the squirrel then it is young. If the squirrel needs the rabbit and the squirrel is cold then the rabbit needs the squirrel.
The squirrel is not red.
@0: The rabbit is big.[(triple1)] The rabbit needs the squirrel.[(triple2)] The rabbit sees the squirrel.[(triple3)] The rabbit visits the squirrel.[(triple4)] The squirrel is big.[(triple5)] The squirrel is blue.[(triple6)] The squirrel visits the rabbit.[(triple7)] @1: The rabbit is young.[(((triple2 triple4) -> rule5))] @2: The rabbit sees the rabbit.[(((((triple2 triple4) -> rule5) triple4) -> rule2))] @3: The rabbit is red.[(((((((triple2 triple4) -> rule5) triple4) -> rule2) triple4) -> rule1))]