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