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