Anne is red. Anne is smart. Anne is white. Dave is big. Dave is cold. Dave is white. Fiona is cold. Gary is cold. Gary is kind. Gary is red. If someone is smart and not cold then they are red. Cold, white people are kind. All big, kind people are blue.
Anne is not blue.
@0: Anne is red.[(triple1)] Anne is smart.[(triple2)] Anne is white.[(triple3)] Dave is big.[(triple4)] Dave is cold.[(triple5)] Dave is white.[(triple6)] Fiona is cold.[(triple7)] Gary is cold.[(triple8)] Gary is kind.[(triple9)] Gary is red.[(triple10)] @1: Dave is kind.[(((triple5 triple6) -> rule2))] @2: Dave is blue.[(((triple4 ((triple5 triple6) -> rule2)) -> rule3))]