Charlie is green. Charlie is young. Harry is furry. Harry is green. Harry is kind. Harry is round. Harry is white. Blue people are young. If someone is green then they are furry. If someone is round and green then they are white.
Harry is not young.
@0: Charlie is green.[(triple1)] Charlie is young.[(triple2)] Harry is furry.[(triple3 OR ((triple4) -> rule2))] Harry is green.[(triple4)] Harry is kind.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7 OR ((triple6 triple4) -> rule3))] @1: Charlie is furry.[(((triple1) -> rule2))]