Anne is red. Charlie is rough. Erin is furry. Gary is rough. If Charlie is big and Charlie is young then Charlie is furry. Young people are big. All rough people are young.
Charlie is not furry.
@0: Anne is red.[(triple1)] Charlie is rough.[(triple2)] Erin is furry.[(triple3)] Gary is rough.[(triple4)] @1: Charlie is young.[(((triple2) -> rule3))] Gary is young.[(((triple4) -> rule3))] @2: Charlie is big.[(((((triple2) -> rule3)) -> rule2))] Gary is big.[(((((triple4) -> rule3)) -> rule2))] @3: Charlie is furry.[(((((((triple2) -> rule3)) -> rule2) ((triple2) -> rule3)) -> rule1))]