Dave is big. Dave is cold. Dave is kind. Dave is nice. Dave is round. Dave is smart. Dave is young. Harry is cold. Harry is kind. Harry is nice. Harry is round. Harry is young. Nice people are kind. If Dave is round and Dave is kind then Dave is nice.
Harry is not smart.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is kind.[(triple3 OR ((triple4) -> rule1))] Dave is nice.[(triple4 OR ((triple5 triple3) -> rule2))] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)] Harry is cold.[(triple8)] Harry is kind.[(triple9 OR ((triple10) -> rule1))] Harry is nice.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12)]