Dave is round. Gary is round. Gary is smart. Smart people are young. All red people are young. If someone is young then they are red. If Dave is kind and Dave is young then Dave is blue. Blue people are not cold. If someone is red and smart then they are not cold. If someone is red and round then they are blue. If someone is cold and not red then they are blue.
Dave is not red.
@0: Dave is round.[(triple1)] Gary is round.[(triple2)] Gary is smart.[(triple3)] @1: Gary is young.[(((triple3) -> rule1))] @2: Gary is red.[(((((triple3) -> rule1)) -> rule3))] @3: Gary is blue.[(((((((triple3) -> rule1)) -> rule3) triple2) -> rule7))] Gary is not cold.[(((((((triple3) -> rule1)) -> rule3) triple3) -> rule6) OR ((((((((triple3) -> rule1)) -> rule3) triple2) -> rule7)) -> rule5))]