Charlie is nice. If someone is rough then they are big. If Charlie is nice and Charlie is cold then Charlie is white. If Charlie is nice then Charlie is rough. Green, big people are not quiet. Big people are cold. All rough, big people are white. If someone is rough and not nice then they are white. If someone is rough and not quiet then they are white.
Charlie is not green.
@0: Charlie is nice.[(triple1)] @1: Charlie is rough.[(((triple1) -> rule3))] @2: Charlie is big.[(((((triple1) -> rule3)) -> rule1))] @3: Charlie is cold.[(((((((triple1) -> rule3)) -> rule1)) -> rule5))] Charlie is white.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule1)) -> rule6) OR ((triple1 ((((((triple1) -> rule3)) -> rule1)) -> rule5)) -> rule2))]