Bob is red. Erin is red. Harry is quiet. Round people are blue. Rough people are white. If Harry is red and Harry is quiet then Harry is round. Red people are rough. If Erin is blue and Erin is white then Erin is rough. If Erin is white then Erin is round.
Bob is not blue.
@0: Bob is red.[(triple1)] Erin is red.[(triple2)] Harry is quiet.[(triple3)] @1: Bob is rough.[(((triple1) -> rule4))] Erin is rough.[(((triple2) -> rule4))] @2: Bob is white.[(((((triple1) -> rule4)) -> rule2))] Erin is white.[(((((triple2) -> rule4)) -> rule2))] @3: Erin is round.[(((((((triple2) -> rule4)) -> rule2)) -> rule6))] @4: Erin is blue.[(((((((((triple2) -> rule4)) -> rule2)) -> rule6)) -> rule1))]