Anne is round. Bob is white. Erin is kind. Gary is round. All white people are green. If Anne is nice then Anne is quiet. All quiet people are kind. If someone is white then they are kind. If someone is quiet and not round then they are blue. All white people are not blue. White people are quiet. If Bob is not blue then Bob is kind.
Anne is round.
@0: Anne is round.[(triple1)] Bob is white.[(triple2)] Erin is kind.[(triple3)] Gary is round.[(triple4)] @1: Bob is green.[(((triple2) -> rule1))] Bob is kind.[(((triple2) -> rule4) OR ((((triple2) -> rule6)) -> rule8) OR ((((triple2) -> rule7)) -> rule3))] Bob is not blue.[(((triple2) -> rule6))] Bob is quiet.[(((triple2) -> rule7))]