Dave is big. Erin is big. Erin is cold. Fiona is big. Fiona is cold. Fiona is quiet. Fiona is smart. All furry things are white. If Erin is big then Erin is quiet. If Erin is quiet and Erin is cold then Erin is white. Big, cold things are smart. If Fiona is furry and Fiona is blue then Fiona is big. All blue things are white.
Fiona is smart.
@0: Dave is big.[(triple1)] Erin is big.[(triple2)] Erin is cold.[(triple3)] Fiona is big.[(triple4)] Fiona is cold.[(triple5)] Fiona is quiet.[(triple6)] Fiona is smart.[(triple7 OR ((triple4 triple5) -> rule4))] @1: Erin is quiet.[(((triple2) -> rule2))] Erin is smart.[(((triple2 triple3) -> rule4))] @2: Erin is white.[(((((triple2) -> rule2) triple3) -> rule3))]