Dave is big. Dave is kind. Gary is big. Gary is cold. Gary is nice. Gary is young. Harry is cold. All cold, young people are kind. All kind people are white. All quiet, nice people are big.
Dave is not big.
@0: Dave is big.[(triple1)] Dave is kind.[(triple2)] Gary is big.[(triple3)] Gary is cold.[(triple4)] Gary is nice.[(triple5)] Gary is young.[(triple6)] Harry is cold.[(triple7)] @1: Dave is white.[(((triple2) -> rule2))] Gary is kind.[(((triple4 triple6) -> rule1))] @2: Gary is white.[(((((triple4 triple6) -> rule1)) -> rule2))]