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