Anne is big. Anne is blue. Anne is cold. Dave is big. Dave is blue. Dave is cold. Dave is red. Dave is rough. Dave is smart. Erin is blue. Erin is cold. Erin is red. Gary is big. Gary is blue. Gary is cold. Gary is rough. If Gary is red and Gary is big then Gary is smart. If Erin is cold then Erin is white. All red, blue people are rough. If someone is red then they are white. Blue people are red. White people are smart.
Anne is not red.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Dave is big.[(triple4)] Dave is blue.[(triple5)] Dave is cold.[(triple6)] Dave is red.[(triple7 OR ((triple5) -> rule5))] Dave is rough.[(triple8 OR ((triple7 triple5) -> rule3) OR ((((triple5) -> rule5) triple5) -> rule3))] Dave is smart.[(triple9 OR ((((triple7) -> rule4)) -> rule6) OR ((((((triple5) -> rule5)) -> rule4)) -> rule6))] Erin is blue.[(triple10)] Erin is cold.[(triple11)] Erin is red.[(triple12 OR ((triple10) -> rule5))] Gary is big.[(triple13)] Gary is blue.[(triple14)] Gary is cold.[(triple15)] Gary is rough.[(triple16 OR ((((triple14) -> rule5) triple14) -> rule3))] @1: Anne is red.[(((triple2) -> rule5))] Dave is white.[(((triple7) -> rule4) OR ((((triple5) -> rule5)) -> rule4))] Erin is rough.[(((triple12 triple10) -> rule3) OR ((((triple10) -> rule5) triple10) -> rule3))] Erin is white.[(((triple11) -> rule2) OR ((triple12) -> rule4) OR ((((triple10) -> rule5)) -> rule4))] Gary is red.[(((triple14) -> rule5))] @2: Anne is rough.[(((((triple2) -> rule5) triple2) -> rule3))] Anne is white.[(((((triple2) -> rule5)) -> rule4))] Erin is smart.[(((((triple11) -> rule2)) -> rule6) OR ((((triple12) -> rule4)) -> rule6) OR ((((((triple10) -> rule5)) -> rule4)) -> rule6))] Gary is smart.[(((((triple14) -> rule5) triple13) -> rule1) OR ((((((triple14) -> rule5)) -> rule4)) -> rule6))] Gary is white.[(((((triple14) -> rule5)) -> rule4))] @3: Anne is smart.[(((((((triple2) -> rule5)) -> rule4)) -> rule6))]