Dave is big. Dave is green. Erin is quiet. Gary is big. Gary is cold. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Gary is smart. Harry is big. Harry is cold. Harry is green. Harry is kind. Harry is rough. All cold things are smart. All rough things are green.
Erin is not smart.
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Erin is quiet.[(triple3)] Gary is big.[(triple4)] Gary is cold.[(triple5)] Gary is green.[(triple6 OR ((triple9) -> rule2))] Gary is kind.[(triple7)] Gary is quiet.[(triple8)] Gary is rough.[(triple9)] Gary is smart.[(triple10 OR ((triple5) -> rule1))] Harry is big.[(triple11)] Harry is cold.[(triple12)] Harry is green.[(triple13 OR ((triple15) -> rule2))] Harry is kind.[(triple14)] Harry is rough.[(triple15)] @1: Harry is smart.[(((triple12) -> rule1))]