Bob is quiet. Bob is young. Charlie is round. Dave is cold. Dave is nice. Dave is not smart. Dave is young. Harry is cold. Harry is round. Harry is not smart. If Dave is not cold then Dave is smart. If Harry is young and Harry is quiet then Harry is smart. If someone is smart then they are quiet. If someone is kind then they are quiet. If someone is young then they are round. If someone is kind then they are young. If someone is quiet and not kind then they are not smart. If Charlie is kind then Charlie is not smart.
Dave is not smart.
@0: Bob is quiet.[(triple1)] Bob is young.[(triple2)] Charlie is round.[(triple3)] Dave is cold.[(triple4)] Dave is nice.[(triple5)] Dave is not smart.[(triple6)] Dave is young.[(triple7)] Harry is cold.[(triple8)] Harry is not smart.[(triple10)] Harry is round.[(triple9)] @1: Bob is round.[(((triple2) -> rule5))] Dave is round.[(((triple7) -> rule5))]