Charlie is green. Gary is big. All rough people are quiet. All nice people are blue. If someone is big then they are nice. Nice, blue people are round. All quiet people are round. If Charlie is nice and Charlie is not big then Charlie is blue.
Charlie is not big.
@0: Charlie is green.[(triple1)] Gary is big.[(triple2)] @1: Gary is nice.[(((triple2) -> rule3))] @2: Gary is blue.[(((((triple2) -> rule3)) -> rule2))] @3: Gary is round.[(((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule2)) -> rule4))]