Bob is furry. Fiona is nice. Fiona is white. White, rough things are big. All nice, furry things are red. Nice things are furry.
Bob is rough.
@0: Bob is furry.[(triple1)] Fiona is nice.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is furry.[(((triple2) -> rule3))] @2: Fiona is red.[(((triple2 ((triple2) -> rule3)) -> rule2))]