Harry is big. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is round. Harry is white. All round, kind things are quiet. If something is big and green then it is white. Green things are quiet.
Harry is green.
@0: Harry is big.[(triple1)] Harry is furry.[(triple2)] Harry is green.[(triple3)] Harry is kind.[(triple4)] Harry is quiet.[(triple5 OR ((triple3) -> rule3) OR ((triple6 triple4) -> rule1))] Harry is round.[(triple6)] Harry is white.[(triple7 OR ((triple1 triple3) -> rule2))]