Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is rough. Charlie is young. Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is rough. Dave is young. Harry is big. Harry is green. Harry is rough. Rough people are green. If Harry is cold then Harry is green. If Harry is rough then Harry is young.
Harry is cold.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4 OR ((triple6) -> rule1))] Charlie is nice.[(triple5)] Charlie is rough.[(triple6)] Charlie is young.[(triple7)] Dave is cold.[(triple8)] Dave is furry.[(triple9)] Dave is green.[(triple10 OR ((triple12) -> rule1))] Dave is nice.[(triple11)] Dave is rough.[(triple12)] Dave is young.[(triple13)] Harry is big.[(triple14)] Harry is green.[(triple15 OR ((triple16) -> rule1))] Harry is rough.[(triple16)] @1: Harry is young.[(((triple16) -> rule3))]