Bob is cold. Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Dave is nice. Dave is not red. Dave is not round. Dave is young. Harry is kind. Green, young people are not kind. If someone is red then they are not round. If someone is cold and not young then they are not round. All round people are cold. All green people are red. If Harry is round and Harry is green then Harry is nice.
Harry is not cold.
@0: Bob is cold.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Dave is nice.[(triple6)] Dave is not red.[(triple7)] Dave is not round.[(triple8)] Dave is young.[(triple9)] Harry is kind.[(triple10)] @1: Charlie is red.[(((triple3) -> rule5))] @2: Charlie is not round.[(((((triple3) -> rule5)) -> rule2))]