Charlie is kind. Erin is furry. Fiona is not young. If Erin is furry then Erin is not round. Furry people are nice. Nice, blue people are not kind.
Charlie is not nice.
@0: Charlie is kind.[(triple1)] Erin is furry.[(triple2)] Fiona is not young.[(triple3)] @1: Erin is nice.[(((triple2) -> rule2))] Erin is not round.[(((triple2) -> rule1))]