The rabbit eats the squirrel. The rabbit is big. The rabbit is cold. The rabbit sees the squirrel. The squirrel eats the rabbit. The squirrel is cold. The squirrel visits the rabbit. All blue, big people are green. If someone is cold and they eat the rabbit then they are young. If someone sees the rabbit and the rabbit eats the squirrel then the squirrel sees the rabbit. If the squirrel visits the rabbit then the rabbit visits the squirrel. If someone eats the rabbit then the rabbit is green. Green people are blue.
The squirrel is not blue.
@0: The rabbit eats the squirrel.[(triple1)] The rabbit is big.[(triple2)] The rabbit is cold.[(triple3)] The rabbit sees the squirrel.[(triple4)] The squirrel eats the rabbit.[(triple5)] The squirrel is cold.[(triple6)] The squirrel visits the rabbit.[(triple7)] @1: The rabbit is green.[(((triple5) -> rule5))] The rabbit visits the squirrel.[(((triple7) -> rule4))] The squirrel is young.[(((triple6 triple5) -> rule2))] @2: The rabbit is blue.[(((((triple5) -> rule5)) -> rule6))]