Dave is furry. Dave is quiet. Dave is red. Dave is round. Dave is smart. Dave is white. Dave is young. Erin is young. Fiona is furry. Fiona is white. White, furry people are smart. If Fiona is quiet then Fiona is young. If Fiona is furry and Fiona is smart then Fiona is quiet.
Erin is red.
@0: Dave is furry.[(triple1)] Dave is quiet.[(triple2)] Dave is red.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5 OR ((triple6 triple1) -> rule1))] Dave is white.[(triple6)] Dave is young.[(triple7)] Erin is young.[(triple8)] Fiona is furry.[(triple9)] Fiona is white.[(triple10)] @1: Fiona is smart.[(((triple10 triple9) -> rule1))] @2: Fiona is quiet.[(((triple9 ((triple10 triple9) -> rule1)) -> rule3))] @3: Fiona is young.[(((((triple9 ((triple10 triple9) -> rule1)) -> rule3)) -> rule2))]