Anne is big. Anne is blue. Anne is cold. Anne is red. Anne is white. Erin is blue. Erin is cold. Erin is smart. Erin is not white. Fiona is not big. Fiona is not green. Fiona is red. All white things are blue. All big, green things are red. All blue, smart things are not red. All white, smart things are red. If Anne is not white then Anne is red. If Anne is green and Anne is not white then Anne is big. Big things are cold. If Fiona is big then Fiona is red.
Anne is not big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple5) -> rule1))] Anne is cold.[(triple3 OR ((triple1) -> rule7))] Anne is red.[(triple4)] Anne is white.[(triple5)] Erin is blue.[(triple6)] Erin is cold.[(triple7)] Erin is not white.[(triple9)] Erin is smart.[(triple8)] Fiona is not big.[(triple10)] Fiona is not green.[(triple11)] Fiona is red.[(triple12)] @1: Erin is not red.[(((triple6 triple8) -> rule3))]