Harry is big. Harry is cold. Harry is green. Harry is kind. Harry is nice. Harry is rough. Harry is young. Nice, young things are rough. Young, cold things are green. If something is cold and big then it is kind. If Harry is big and Harry is rough then Harry is green. If something is green then it is young. All big things are kind.
Harry is not young.
@0: Harry is big.[(triple1)] Harry is cold.[(triple2)] Harry is green.[(triple3 OR ((triple1 triple6) -> rule4) OR ((triple7 triple2) -> rule2) OR ((triple1 ((triple5 triple7) -> rule1)) -> rule4))] Harry is kind.[(triple4 OR ((triple1) -> rule6) OR ((triple2 triple1) -> rule3))] Harry is nice.[(triple5)] Harry is rough.[(triple6 OR ((triple5 triple7) -> rule1) OR ((triple5 ((triple3) -> rule5)) -> rule1))] Harry is young.[(triple7 OR ((triple3) -> rule5) OR ((((triple1 triple6) -> rule4)) -> rule5))]