Bob is furry. Erin is not round. Gary is quiet. If something is furry and nice then it is not red. If something is quiet and not round then it is red. If something is rough and nice then it is quiet. Quiet, red things are nice. Rough, red things are nice. All furry things are nice.
Erin is nice.
@0: Bob is furry.[(triple1)] Erin is not round.[(triple2)] Gary is quiet.[(triple3)] @1: Bob is nice.[(((triple1) -> rule6))] @2: Bob is not red.[(((triple1 ((triple1) -> rule6)) -> rule1))]