Anne is not cold. Anne is red. Dave is big. Dave is cold. Dave is nice. Dave is red. Dave is smart. Dave is young. Erin is big. Erin is not cold. Erin is nice. Erin is young. If Anne is not rough then Anne is cold. If something is young and not smart then it is not red. If Anne is red then Anne is nice. If Erin is cold and Erin is not smart then Erin is red. Nice things are young. All red, rough things are cold.
Erin is not red.
@0: Anne is not cold.[(triple1)] Anne is red.[(triple2)] Dave is big.[(triple3)] Dave is cold.[(triple4)] Dave is nice.[(triple5)] Dave is red.[(triple6)] Dave is smart.[(triple7)] Dave is young.[(triple8 OR ((triple5) -> rule5))] Erin is big.[(triple9)] Erin is nice.[(triple11)] Erin is not cold.[(triple10)] Erin is young.[(triple12 OR ((triple11) -> rule5))] @1: Anne is nice.[(((triple2) -> rule3))] @2: Anne is young.[(((((triple2) -> rule3)) -> rule5))]