Charlie is not cold. Charlie is green. Charlie is nice. Charlie is red. Dave is blue. Dave is not green. Dave is rough. Gary is not cold. Gary is not green. Gary is nice. Gary is rough. Gary is white. If someone is blue then they are not cold. If someone is rough and cold then they are white. All nice people are blue. If Charlie is cold then Charlie is not nice. All rough, blue people are not red. If Dave is red and Dave is nice then Dave is not blue. If Gary is red and Gary is blue then Gary is white. If Dave is not blue then Dave is white.
Gary is red.
@0: Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is not cold.[(triple1 OR ((((triple3) -> rule3)) -> rule1))] Charlie is red.[(triple4)] Dave is blue.[(triple5)] Dave is not green.[(triple6)] Dave is rough.[(triple7)] Gary is nice.[(triple10)] Gary is not cold.[(triple8 OR ((((triple10) -> rule3)) -> rule1))] Gary is not green.[(triple9)] Gary is rough.[(triple11)] Gary is white.[(triple12)] @1: Charlie is blue.[(((triple3) -> rule3))] Dave is not cold.[(((triple5) -> rule1))] Dave is not red.[(((triple7 triple5) -> rule5))] Gary is blue.[(((triple10) -> rule3))] @2: Gary is not red.[(((triple11 ((triple10) -> rule3)) -> rule5))]