Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Harry is furry. Harry is green. Harry is nice. Harry is quiet. Furry, cold people are rough. All quiet, furry people are green. If someone is nice then they are furry.
Harry is not rough.
@0: Dave is furry.[(triple1 OR ((triple3) -> rule3))] Dave is green.[(triple2 OR ((triple4 triple1) -> rule2) OR ((triple4 ((triple3) -> rule3)) -> rule2))] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6)] Harry is furry.[(triple7 OR ((triple9) -> rule3))] Harry is green.[(triple8 OR ((triple10 triple7) -> rule2) OR ((triple10 ((triple9) -> rule3)) -> rule2))] Harry is nice.[(triple9)] Harry is quiet.[(triple10)]