Erin is blue. Erin is quiet. Fiona is big. Fiona is cold. Fiona is quiet. Fiona is smart. Fiona is white. If Erin is cold and Erin is smart then Erin is not furry. If Erin is blue and Erin is smart then Erin is big. White people are smart. Quiet people are white. If someone is white and not big then they are not furry. All smart people are furry.
Erin is not smart.
@0: Erin is blue.[(triple1)] Erin is quiet.[(triple2)] Fiona is big.[(triple3)] Fiona is cold.[(triple4)] Fiona is quiet.[(triple5)] Fiona is smart.[(triple6 OR ((triple7) -> rule3) OR ((((triple5) -> rule4)) -> rule3))] Fiona is white.[(triple7 OR ((triple5) -> rule4))] @1: Erin is white.[(((triple2) -> rule4))] Fiona is furry.[(((triple6) -> rule6) OR ((((triple7) -> rule3)) -> rule6) OR ((((((triple5) -> rule4)) -> rule3)) -> rule6))] @2: Erin is smart.[(((((triple2) -> rule4)) -> rule3))] @3: Erin is big.[(((triple1 ((((triple2) -> rule4)) -> rule3)) -> rule2))] Erin is furry.[(((((((triple2) -> rule4)) -> rule3)) -> rule6))]