Erin is furry. Fiona is rough. Fiona is round. If Fiona is nice then Fiona is not kind. If Fiona is kind and Fiona is rough then Fiona is blue. Furry things are smart. Blue, smart things are not furry. If Erin is blue then Erin is nice. Blue, furry things are kind.
Fiona is rough.
@0: Erin is furry.[(triple1)] Fiona is rough.[(triple2)] Fiona is round.[(triple3)] @1: Erin is smart.[(((triple1) -> rule3))]