Anne is nice. Erin is round. Fiona is kind. Gary is furry. If something is nice and round then it is kind. If Fiona is rough and Fiona is not young then Fiona is nice. If something is round then it is not nice. If something is young and not smart then it is not furry. Kind things are round. If something is kind and not smart then it is round.
Anne is furry.
@0: Anne is nice.[(triple1)] Erin is round.[(triple2)] Fiona is kind.[(triple3)] Gary is furry.[(triple4)] @1: Erin is not nice.[(((triple2) -> rule3))] Fiona is round.[(((triple3) -> rule5))] @2: Fiona is not nice.[(((((triple3) -> rule5)) -> rule3))]