Harry is cold. Harry is furry. Harry is green. Harry is nice. Harry is quiet. Harry is red. Harry is rough. If something is quiet then it is green. Rough, furry things are cold. If something is green and furry then it is cold.
Harry is rough.
@0: Harry is cold.[(triple1 OR ((triple3 triple2) -> rule3) OR ((triple7 triple2) -> rule2) OR ((((triple5) -> rule1) triple2) -> rule3))] Harry is furry.[(triple2)] Harry is green.[(triple3 OR ((triple5) -> rule1))] Harry is nice.[(triple4)] Harry is quiet.[(triple5)] Harry is red.[(triple6)] Harry is rough.[(triple7)]