Harry is not big. Harry is not blue. Harry is furry. Harry is green. Harry is quiet. Harry is red. Harry is rough. If Harry is green then Harry is rough. If Harry is not red then Harry is rough. If someone is red and quiet then they are not big. If Harry is red then Harry is green. Green people are furry. If Harry is green then Harry is furry. All blue people are quiet. All quiet, furry people are rough.
Harry is red.
@0: Harry is furry.[(triple3 OR ((triple4) -> rule5) OR ((triple4) -> rule6) OR ((((triple6) -> rule4)) -> rule5) OR ((((triple6) -> rule4)) -> rule6))] Harry is green.[(triple4 OR ((triple6) -> rule4))] Harry is not big.[(triple1 OR ((triple6 triple5) -> rule3))] Harry is not blue.[(triple2)] Harry is quiet.[(triple5)] Harry is red.[(triple6)] Harry is rough.[(triple7 OR ((triple4) -> rule1) OR ((triple5 triple3) -> rule8) OR ((((triple6) -> rule4)) -> rule1) OR ((triple5 ((triple4) -> rule5)) -> rule8) OR ((triple5 ((triple4) -> rule6)) -> rule8) OR ((triple5 ((((triple6) -> rule4)) -> rule5)) -> rule8) OR ((triple5 ((((triple6) -> rule4)) -> rule6)) -> rule8))]