Charlie is big. Charlie is green. Gary is big. If something is rough and round then it is green. If something is round and rough then it is green. Round things are kind. If Charlie is rough then Charlie is furry. If something is rough then it is kind. Big things are round.
Charlie is not round.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Gary is big.[(triple3)] @1: Charlie is round.[(((triple1) -> rule6))] Gary is round.[(((triple3) -> rule6))] @2: Charlie is kind.[(((((triple1) -> rule6)) -> rule3))] Gary is kind.[(((((triple3) -> rule6)) -> rule3))]