Dave is cold. Dave is green. Dave is quiet. Dave is not rough. Dave is not young. Erin is cold. Erin is green. Erin is nice. Erin is not rough. Erin is young. Harry is cold. Harry is nice. Harry is quiet. Harry is rough. Harry is young. If something is rough and cold then it is green.
Dave is not young.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is not rough.[(triple4)] Dave is not young.[(triple5)] Dave is quiet.[(triple3)] Erin is cold.[(triple6)] Erin is green.[(triple7)] Erin is nice.[(triple8)] Erin is not rough.[(triple9)] Erin is young.[(triple10)] Harry is cold.[(triple11)] Harry is nice.[(triple12)] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is young.[(triple15)] @1: Harry is green.[(((triple14 triple11) -> rule1))]