Charlie is big. Charlie is blue. Charlie is cold. Charlie is kind. Dave is cold. Dave is kind. Dave is red. Dave is round. Erin is cold. Gary is blue. Gary is cold. Gary is red. All white people are blue. All red, cold people are white.
Charlie is not white.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is kind.[(triple4)] Dave is cold.[(triple5)] Dave is kind.[(triple6)] Dave is red.[(triple7)] Dave is round.[(triple8)] Erin is cold.[(triple9)] Gary is blue.[(triple10 OR ((((triple12 triple11) -> rule2)) -> rule1))] Gary is cold.[(triple11)] Gary is red.[(triple12)] @1: Dave is white.[(((triple7 triple5) -> rule2))] Gary is white.[(((triple12 triple11) -> rule2))] @2: Dave is blue.[(((((triple7 triple5) -> rule2)) -> rule1))]