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