Harry is big. Harry is green. Harry is quiet. Harry is red. Harry is not rough. Harry is round. Harry is young. Big things are quiet.
Harry is not red.
@0: Harry is big.[(triple1)] Harry is green.[(triple2)] Harry is not rough.[(triple5)] Harry is quiet.[(triple3 OR ((triple1) -> rule1))] Harry is red.[(triple4)] Harry is round.[(triple6)] Harry is young.[(triple7)]