Charlie is round. Gary is furry. Gary is quiet. If Charlie is green and Charlie is red then Charlie is big. If someone is big and quiet then they are white. If Gary is red then Gary is green. If Charlie is not red then Charlie is white. All furry people are green. All green, quiet people are big.
Charlie is round.
@0: Charlie is round.[(triple1)] Gary is furry.[(triple2)] Gary is quiet.[(triple3)] @1: Gary is green.[(((triple2) -> rule5))] @2: Gary is big.[(((((triple2) -> rule5) triple3) -> rule6))] @3: Gary is white.[(((((((triple2) -> rule5) triple3) -> rule6) triple3) -> rule2))]