Bob is furry. Dave is kind. Fiona is nice. If Bob is nice then Bob is not blue. If Fiona is round and Fiona is not blue then Fiona is not young. If someone is nice then they are not round. White, furry people are nice. If someone is white and not round then they are young. If Bob is not nice then Bob is not young.
Fiona is not nice.
@0: Bob is furry.[(triple1)] Dave is kind.[(triple2)] Fiona is nice.[(triple3)] @1: Fiona is not round.[(((triple3) -> rule3))]