Bob is furry. Erin is smart. Fiona is furry. Gary is furry. Kind, quiet people are smart. Quiet, kind people are furry. Kind people are furry. Quiet people are kind. If someone is kind then they are quiet. All furry people are kind.
Bob is not furry.
@0: Bob is furry.[(triple1)] Erin is smart.[(triple2)] Fiona is furry.[(triple3)] Gary is furry.[(triple4)] @1: Bob is kind.[(((triple1) -> rule6))] Fiona is kind.[(((triple3) -> rule6))] Gary is kind.[(((triple4) -> rule6))] @2: Bob is quiet.[(((((triple1) -> rule6)) -> rule5))] Fiona is quiet.[(((((triple3) -> rule6)) -> rule5))] Gary is quiet.[(((((triple4) -> rule6)) -> rule5))] @3: Bob is smart.[(((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule5)) -> rule1))] Fiona is smart.[(((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1))] Gary is smart.[(((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule5)) -> rule1))]