Harry is big. Harry is green. Harry is nice. Harry is red. Harry is round. Harry is white. Harry is young. All round, white people are red. If someone is big and white then they are round. Nice people are round.
Harry is not nice.
@0: Harry is big.[(triple1)] Harry is green.[(triple2)] Harry is nice.[(triple3)] Harry is red.[(triple4 OR ((triple5 triple6) -> rule1) OR ((((triple3) -> rule3) triple6) -> rule1) OR ((((triple1 triple6) -> rule2) triple6) -> rule1))] Harry is round.[(triple5 OR ((triple3) -> rule3) OR ((triple1 triple6) -> rule2))] Harry is white.[(triple6)] Harry is young.[(triple7)]