The cow is big. The rabbit visits the squirrel. The squirrel sees the rabbit. The tiger chases the rabbit. If someone is big and nice then they visit the rabbit. All blue people are big. If someone is big then they are not cold. If someone sees the rabbit then the rabbit is blue. If someone is blue and nice then they do not see the tiger. If the rabbit sees the tiger and the tiger sees the cow then the rabbit chases the tiger. If the cow does not see the tiger then the tiger does not see the cow. If someone is green and they do not chase the tiger then they chase the squirrel.
The rabbit is not blue.
@0: The cow is big.[(triple1)] The rabbit visits the squirrel.[(triple2)] The squirrel sees the rabbit.[(triple3)] The tiger chases the rabbit.[(triple4)] @1: The cow is not cold.[(((triple1) -> rule3))] The rabbit is blue.[(((triple3) -> rule4))] @2: The rabbit is big.[(((((triple3) -> rule4)) -> rule2))] @3: The rabbit is not cold.[(((((((triple3) -> rule4)) -> rule2)) -> rule3))]