Anne is nice. Erin is big. Erin is not blue. Erin is furry. Fiona is not blue. Fiona is cold. Fiona is furry. If Fiona is big and Fiona is furry then Fiona is blue. If Erin is not blue then Erin is furry. If Anne is smart then Anne is cold. If something is nice then it is not big. All blue, smart things are not big. If something is big and not furry then it is cold. If something is blue and not big then it is cold. All big, quiet things are cold.
Fiona is nice.
@0: Anne is nice.[(triple1)] Erin is big.[(triple2)] Erin is furry.[(triple4 OR ((triple3) -> rule2))] Erin is not blue.[(triple3)] Fiona is cold.[(triple6)] Fiona is furry.[(triple7)] Fiona is not blue.[(triple5)] @1: Anne is not big.[(((triple1) -> rule4))]