Anne is white. Bob is blue. Erin is young. Gary is rough. If Gary is furry then Gary is young. All furry people are green. If someone is furry then they are rough. All white people are big. Big people are young. Blue people are white.
Gary is not big.
@0: Anne is white.[(triple1)] Bob is blue.[(triple2)] Erin is young.[(triple3)] Gary is rough.[(triple4)] @1: Anne is big.[(((triple1) -> rule4))] Bob is white.[(((triple2) -> rule6))] @2: Anne is young.[(((((triple1) -> rule4)) -> rule5))] Bob is big.[(((((triple2) -> rule6)) -> rule4))] @3: Bob is young.[(((((((triple2) -> rule6)) -> rule4)) -> rule5))]