Anne is cold. Anne is rough. Anne is white. Erin is big. Erin is not nice. Erin is red. Erin is not rough. Gary is red. Gary is rough. Gary is white. Big people are kind. All rough people are kind. If Anne is cold then Anne is white. If Gary is white and Gary is big then Gary is red. All nice people are not cold. If Gary is kind then Gary is nice. All kind people are red. If someone is kind and not white then they are red.
Gary is not kind.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3 OR ((triple1) -> rule3))] Erin is big.[(triple4)] Erin is not nice.[(triple5)] Erin is not rough.[(triple7)] Erin is red.[(triple6 OR ((((triple4) -> rule1)) -> rule7))] Gary is red.[(triple8 OR ((((triple9) -> rule2)) -> rule7))] Gary is rough.[(triple9)] Gary is white.[(triple10)] @1: Anne is kind.[(((triple2) -> rule2))] Erin is kind.[(((triple4) -> rule1))] Gary is kind.[(((triple9) -> rule2))] @2: Anne is red.[(((((triple2) -> rule2)) -> rule7))] Gary is nice.[(((((triple9) -> rule2)) -> rule6))] @3: Gary is not cold.[(((((((triple9) -> rule2)) -> rule6)) -> rule5))]