Harry is big. Harry is blue. Harry is green. Harry is nice. Harry is quiet. Harry is not rough. Harry is round. If someone is green and big then they are blue. If someone is rough and green then they are big. All rough people are nice. If Harry is nice and Harry is not big then Harry is blue. If someone is green and not big then they are round. Blue people are quiet. Nice, blue people are quiet. If someone is rough and not green then they are quiet.
Harry is not rough.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2 OR ((triple3 triple1) -> rule1))] Harry is green.[(triple3)] Harry is nice.[(triple4)] Harry is not rough.[(triple6)] Harry is quiet.[(triple5 OR ((triple2) -> rule6) OR ((triple4 triple2) -> rule7) OR ((((triple3 triple1) -> rule1)) -> rule6) OR ((triple4 ((triple3 triple1) -> rule1)) -> rule7))] Harry is round.[(triple7)]