Charlie is big. Charlie is not furry. Charlie is rough. Charlie is not round. Gary is big. Gary is furry. Gary is kind. Round people are cold. All furry people are round.
Charlie is round.
@0: Charlie is big.[(triple1)] Charlie is not furry.[(triple2)] Charlie is not round.[(triple4)] Charlie is rough.[(triple3)] Gary is big.[(triple5)] Gary is furry.[(triple6)] Gary is kind.[(triple7)] @1: Gary is round.[(((triple6) -> rule2))] @2: Gary is cold.[(((((triple6) -> rule2)) -> rule1))]