Bob is blue. Charlie is white. Charlie is young. Erin is cold. Erin is kind. Erin is white. Gary is nice. If Charlie is nice then Charlie is white. All blue things are cold. Rough, blue things are young. All white, nice things are kind. If something is cold then it is white. Young, nice things are white. Young, kind things are blue. If Erin is cold then Erin is kind.
Erin is not white.
@0: Bob is blue.[(triple1)] Charlie is white.[(triple2)] Charlie is young.[(triple3)] Erin is cold.[(triple4)] Erin is kind.[(triple5 OR ((triple4) -> rule8))] Erin is white.[(triple6 OR ((triple4) -> rule5))] Gary is nice.[(triple7)] @1: Bob is cold.[(((triple1) -> rule2))] @2: Bob is white.[(((((triple1) -> rule2)) -> rule5))]