Dave is cold. Dave is kind. Dave is young. Harry is cold. Harry is furry. Harry is kind. Harry is rough. Harry is round. Harry is smart. Harry is young. Young things are furry.
Dave is rough.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is young.[(triple3)] Harry is cold.[(triple4)] Harry is furry.[(triple5 OR ((triple10) -> rule1))] Harry is kind.[(triple6)] Harry is rough.[(triple7)] Harry is round.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10)] @1: Dave is furry.[(((triple3) -> rule1))]