Erin is cold. Erin is kind. Erin is round. Erin is not young. Gary is cold. Gary is kind. Gary is nice. Gary is rough. Gary is round. Gary is young. All cold things are round. If Erin is nice then Erin is not kind. Cold things are not red.
Erin is not nice.
@0: Erin is cold.[(triple1)] Erin is kind.[(triple2)] Erin is not young.[(triple4)] Erin is round.[(triple3 OR ((triple1) -> rule1))] Gary is cold.[(triple5)] Gary is kind.[(triple6)] Gary is nice.[(triple7)] Gary is rough.[(triple8)] Gary is round.[(triple9 OR ((triple5) -> rule1))] Gary is young.[(triple10)] @1: Erin is not red.[(((triple1) -> rule3))] Gary is not red.[(((triple5) -> rule3))]