The squirrel is red. If someone is green and big then they are not kind. If someone is green and not red then they are kind. Green people are not big. Red, round people are not big. All green people are not round. All red people are green.
The squirrel is not red.
@0: The squirrel is red.[(triple1)] @1: The squirrel is green.[(((triple1) -> rule6))] @2: The squirrel is not big.[(((((triple1) -> rule6)) -> rule3))] The squirrel is not round.[(((((triple1) -> rule6)) -> rule5))]