Dave is cold. Dave is furry. Dave is kind. Dave is not rough. Dave is round. Dave is smart. Dave is young. Harry is cold. Harry is furry. Harry is kind. Harry is rough. Harry is round. Harry is smart. Harry is young. All smart, rough things are cold.
Harry is not young.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is not rough.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)] Harry is cold.[(triple8 OR ((triple13 triple11) -> rule1))] Harry is furry.[(triple9)] Harry is kind.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12)] Harry is smart.[(triple13)] Harry is young.[(triple14)]