Harry is not big. Harry is blue. Harry is cold. Harry is green. Harry is kind. Harry is rough. Harry is round. All blue people are green. If someone is kind and not big then they are green. All rough, blue people are kind. All big, blue people are not rough. Big, kind people are rough. If someone is kind and not cold then they are blue. If someone is cold and kind then they are round. If Harry is not kind then Harry is not green.
Harry is kind.
@0: Harry is blue.[(triple2)] Harry is cold.[(triple3)] Harry is green.[(triple4 OR ((triple2) -> rule1) OR ((triple5 triple1) -> rule2) OR ((((triple6 triple2) -> rule3) triple1) -> rule2))] Harry is kind.[(triple5 OR ((triple6 triple2) -> rule3))] Harry is not big.[(triple1)] Harry is rough.[(triple6)] Harry is round.[(triple7 OR ((triple3 triple5) -> rule7) OR ((triple3 ((triple6 triple2) -> rule3)) -> rule7))]