Bob is not furry. Charlie is kind. Erin is kind. Fiona is round. If someone is quiet and kind then they are smart. Blue people are not furry. If someone is smart then they are not nice. If someone is furry and quiet then they are not nice. If Fiona is round then Fiona is blue. If Erin is blue and Erin is not quiet then Erin is nice.
Fiona is nice.
@0: Bob is not furry.[(triple1)] Charlie is kind.[(triple2)] Erin is kind.[(triple3)] Fiona is round.[(triple4)] @1: Fiona is blue.[(((triple4) -> rule5))] @2: Fiona is not furry.[(((((triple4) -> rule5)) -> rule2))]