Bob is blue. Bob is green. Bob is quiet. Bob is rough. Gary is young. Harry is rough. Harry is round. Young, furry people are round. If Harry is furry and Harry is blue then Harry is young. Round, furry people are green. If someone is furry and blue then they are green. Rough, round people are quiet. All quiet people are rough.
Harry is rough.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4 OR ((triple3) -> rule6))] Gary is young.[(triple5)] Harry is rough.[(triple6)] Harry is round.[(triple7)] @1: Harry is quiet.[(((triple6 triple7) -> rule5))]