Charlie is rough. Charlie is round. Gary is rough. Gary is young. Harry is cold. Harry is furry. Harry is not smart. All big people are cold. Round people are cold. All rough, young people are big. All cold, big people are furry. If Charlie is rough and Charlie is not smart then Charlie is furry. If Gary is smart and Gary is rough then Gary is cold.
Gary is not big.
@0: Charlie is rough.[(triple1)] Charlie is round.[(triple2)] Gary is rough.[(triple3)] Gary is young.[(triple4)] Harry is cold.[(triple5)] Harry is furry.[(triple6)] Harry is not smart.[(triple7)] @1: Charlie is cold.[(((triple2) -> rule2))] Gary is big.[(((triple3 triple4) -> rule3))] @2: Gary is cold.[(((((triple3 triple4) -> rule3)) -> rule1))] @3: Gary is furry.[(((((((triple3 triple4) -> rule3)) -> rule1) ((triple3 triple4) -> rule3)) -> rule4))]