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