Bob is furry. Bob is nice. Bob is quiet. Bob is red. Bob is young. Charlie is not quiet. Charlie is red. Dave is not cold. Dave is nice. Dave is quiet. Quiet, young people are red. All nice, cold people are red. If someone is cold then they are red. If someone is round then they are not cold. Quiet people are not cold. If someone is quiet and cold then they are not furry. All round people are not furry. Round, nice people are not furry.
Charlie is cold.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4 OR ((triple3 triple5) -> rule1))] Bob is young.[(triple5)] Charlie is not quiet.[(triple6)] Charlie is red.[(triple7)] Dave is nice.[(triple9)] Dave is not cold.[(triple8 OR ((triple10) -> rule5))] Dave is quiet.[(triple10)] @1: Bob is not cold.[(((triple3) -> rule5))]