Charlie is cold. Charlie is kind. Dave is cold. Dave is kind. Erin is cold. Erin is kind. Erin is red. Erin is smart. Erin is young. Gary is kind. Gary is red. Gary is not young. If Charlie is blue then Charlie is not young. If Gary is red then Gary is rough. Kind things are smart. All smart things are blue. Young things are blue. If Gary is rough and Gary is not kind then Gary is not cold.
Charlie is not rough.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Dave is cold.[(triple3)] Dave is kind.[(triple4)] Erin is cold.[(triple5)] Erin is kind.[(triple6)] Erin is red.[(triple7)] Erin is smart.[(triple8 OR ((triple6) -> rule3))] Erin is young.[(triple9)] Gary is kind.[(triple10)] Gary is not young.[(triple12)] Gary is red.[(triple11)] @1: Charlie is smart.[(((triple2) -> rule3))] Dave is smart.[(((triple4) -> rule3))] Erin is blue.[(((triple8) -> rule4) OR ((triple9) -> rule5) OR ((((triple6) -> rule3)) -> rule4))] Gary is rough.[(((triple11) -> rule2))] Gary is smart.[(((triple10) -> rule3))] @2: Charlie is blue.[(((((triple2) -> rule3)) -> rule4))] Dave is blue.[(((((triple4) -> rule3)) -> rule4))] Gary is blue.[(((((triple10) -> rule3)) -> rule4))] @3: Charlie is not young.[(((((((triple2) -> rule3)) -> rule4)) -> rule1))]