Dave is cold. Dave is red. Dave is rough. Dave is white. Dave is young. Gary is big. Gary is cold. Gary is red. Gary is rough. Gary is smart. Gary is young. Harry is big. Harry is cold. Harry is red. Harry is white. If Harry is red then Harry is smart.
Dave is not big.
@0: Dave is cold.[(triple1)] Dave is red.[(triple2)] Dave is rough.[(triple3)] Dave is white.[(triple4)] Dave is young.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7)] Gary is red.[(triple8)] Gary is rough.[(triple9)] Gary is smart.[(triple10)] Gary is young.[(triple11)] Harry is big.[(triple12)] Harry is cold.[(triple13)] Harry is red.[(triple14)] Harry is white.[(triple15)] @1: Harry is smart.[(((triple14) -> rule1))]