Harry is green. If someone is big then they are kind. All green people are kind. If someone is kind and not rough then they are blue. All green people are nice. If someone is furry and green then they are not big. If Harry is kind then Harry is furry. Kind, rough people are furry. If Harry is big and Harry is nice then Harry is green.
Harry is rough.
@0: Harry is green.[(triple1)] @1: Harry is kind.[(((triple1) -> rule2))] Harry is nice.[(((triple1) -> rule4))] @2: Harry is furry.[(((((triple1) -> rule2)) -> rule6))] @3: Harry is not big.[(((((((triple1) -> rule2)) -> rule6) triple1) -> rule5))]