Charlie is not round. Charlie is smart. Dave is blue. Dave is cold. Dave is furry. Dave is red. Gary is smart. All round things are not young. Smart things are blue. If something is young and not smart then it is round. If Charlie is blue then Charlie is red. If something is red and not round then it is furry. All round things are cold. If something is blue and not furry then it is cold. Smart, red things are not cold.
Dave is red.
@0: Charlie is not round.[(triple1)] Charlie is smart.[(triple2)] Dave is blue.[(triple3)] Dave is cold.[(triple4)] Dave is furry.[(triple5)] Dave is red.[(triple6)] Gary is smart.[(triple7)] @1: Charlie is blue.[(((triple2) -> rule2))] Gary is blue.[(((triple7) -> rule2))] @2: Charlie is red.[(((((triple2) -> rule2)) -> rule4))] @3: Charlie is furry.[(((((((triple2) -> rule2)) -> rule4) triple1) -> rule5))] Charlie is not cold.[(((triple2 ((((triple2) -> rule2)) -> rule4)) -> rule8))]