Dave is red. Erin is not white. Fiona is rough. Blue, round things are not red. All rough, furry things are red. Rough things are round. Blue, furry things are white. If Fiona is round then Fiona is furry. All smart things are furry. Round things are rough. If Fiona is smart then Fiona is blue.
Fiona is round.
@0: Dave is red.[(triple1)] Erin is not white.[(triple2)] Fiona is rough.[(triple3)] @1: Fiona is round.[(((triple3) -> rule3))] @2: Fiona is furry.[(((((triple3) -> rule3)) -> rule5))] @3: Fiona is red.[(((triple3 ((((triple3) -> rule3)) -> rule5)) -> rule2))]