Bob is blue. Erin is white. Gary is furry. If Bob is kind then Bob is white. If Erin is kind then Erin is blue. All white people are quiet. If someone is kind and furry then they are quiet. Blue people are kind. All quiet people are white.
Gary is white.
@0: Bob is blue.[(triple1)] Erin is white.[(triple2)] Gary is furry.[(triple3)] @1: Bob is kind.[(((triple1) -> rule5))] Erin is quiet.[(((triple2) -> rule3))] @2: Bob is white.[(((((triple1) -> rule5)) -> rule1))] @3: Bob is quiet.[(((((((triple1) -> rule5)) -> rule1)) -> rule3))]