Dave is big. Dave is cold. Dave is furry. Dave is green. Dave is kind. Dave is white. Harry is not cold. Harry is furry. Harry is kind. Harry is quiet. If something is quiet then it is kind.
Harry is cold.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4)] Dave is kind.[(triple5)] Dave is white.[(triple6)] Harry is furry.[(triple8)] Harry is kind.[(triple9 OR ((triple10) -> rule1))] Harry is not cold.[(triple7)] Harry is quiet.[(triple10)]