Anne is big. Anne is blue. Anne is cold. Anne is nice. Anne is not red. Anne is not white. Erin is big. Erin is blue. Erin is cold. Erin is nice. Erin is red. Fiona is not big. Fiona is blue. Fiona is cold. Fiona is red. If something is young then it is cold. All young, white things are cold. Big, young things are red. If something is big and white then it is red. Young things are big. All red things are nice. If Fiona is cold and Fiona is not white then Fiona is red. If Erin is red then Erin is big.
Anne is not blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is nice.[(triple4)] Anne is not red.[(triple5)] Anne is not white.[(triple6)] Erin is big.[(triple7 OR ((triple11) -> rule8))] Erin is blue.[(triple8)] Erin is cold.[(triple9)] Erin is nice.[(triple10 OR ((triple11) -> rule6))] Erin is red.[(triple11)] Fiona is blue.[(triple13)] Fiona is cold.[(triple14)] Fiona is not big.[(triple12)] Fiona is red.[(triple15)] @1: Fiona is nice.[(((triple15) -> rule6))]