Harry is big. Harry is green. Harry is kind. Harry is quiet. Harry is red. Harry is not rough. Harry is young. Rough, big things are red. All green things are quiet. If something is rough and not young then it is big.
Harry is green.
@0: Harry is big.[(triple1)] Harry is green.[(triple2)] Harry is kind.[(triple3)] Harry is not rough.[(triple6)] Harry is quiet.[(triple4 OR ((triple2) -> rule2))] Harry is red.[(triple5)] Harry is young.[(triple7)]