Dave is big. Dave is cold. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is round. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is round. If something is furry and kind then it is nice. All round things are green.
Dave is not kind.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4 OR ((triple7) -> rule2))] Dave is kind.[(triple5)] Dave is nice.[(triple6 OR ((triple3 triple5) -> rule1))] Dave is round.[(triple7)] Harry is cold.[(triple8)] Harry is furry.[(triple9)] Harry is green.[(triple10 OR ((triple12) -> rule2))] Harry is kind.[(triple11)] Harry is round.[(triple12)] @1: Harry is nice.[(((triple9 triple11) -> rule1))]