Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is nice. Anne is quiet. Anne is smart. Erin is not big. Erin is blue. Erin is cold. Erin is furry. Erin is nice. Erin is quiet. Erin is smart. If Erin is blue then Erin is nice. If something is cold and not blue then it is not quiet.
Erin is big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is furry.[(triple4)] Anne is nice.[(triple5)] Anne is quiet.[(triple6)] Anne is smart.[(triple7)] Erin is blue.[(triple9)] Erin is cold.[(triple10)] Erin is furry.[(triple11)] Erin is nice.[(triple12 OR ((triple9) -> rule1))] Erin is not big.[(triple8)] Erin is quiet.[(triple13)] Erin is smart.[(triple14)]