Erin is cold. Erin is quiet. Erin is red. Erin is rough. Erin is white. Fiona is quiet. Fiona is young. If Erin is young then Erin is white. All cold things are white. All red things are big. If Fiona is cold and Fiona is red then Fiona is young. White things are big. If Fiona is quiet then Fiona is cold.
Fiona is not white.
@0: Erin is cold.[(triple1)] Erin is quiet.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is white.[(triple5 OR ((triple1) -> rule2))] Fiona is quiet.[(triple6)] Fiona is young.[(triple7)] @1: Erin is big.[(((triple3) -> rule3) OR ((triple5) -> rule5) OR ((((triple1) -> rule2)) -> rule5))] Fiona is cold.[(((triple6) -> rule6))] @2: Fiona is white.[(((((triple6) -> rule6)) -> rule2))] @3: Fiona is big.[(((((((triple6) -> rule6)) -> rule2)) -> rule5))]