Anne is rough. Bob is blue. Bob is furry. Bob is rough. Bob is white. Erin is quiet. Gary is quiet. If Erin is red and Erin is rough then Erin is blue. Furry things are green. Red things are rough. All green, white things are quiet. Furry, white things are blue. Quiet things are furry. All green, quiet things are red.
Erin is not blue.
@0: Anne is rough.[(triple1)] Bob is blue.[(triple2 OR ((triple3 triple5) -> rule5))] Bob is furry.[(triple3)] Bob is rough.[(triple4 OR ((((((triple3) -> rule2) ((((triple3) -> rule2) triple5) -> rule4)) -> rule7)) -> rule3))] Bob is white.[(triple5)] Erin is quiet.[(triple6)] Gary is quiet.[(triple7)] @1: Bob is green.[(((triple3) -> rule2))] Erin is furry.[(((triple6) -> rule6))] Gary is furry.[(((triple7) -> rule6))] @2: Bob is quiet.[(((((triple3) -> rule2) triple5) -> rule4))] Erin is green.[(((((triple6) -> rule6)) -> rule2))] Gary is green.[(((((triple7) -> rule6)) -> rule2))] @3: Bob is red.[(((((triple3) -> rule2) ((((triple3) -> rule2) triple5) -> rule4)) -> rule7))] Erin is red.[(((((((triple6) -> rule6)) -> rule2) triple6) -> rule7))] Gary is red.[(((((((triple7) -> rule6)) -> rule2) triple7) -> rule7))] @4: Erin is rough.[(((((((((triple6) -> rule6)) -> rule2) triple6) -> rule7)) -> rule3))] Gary is rough.[(((((((((triple7) -> rule6)) -> rule2) triple7) -> rule7)) -> rule3))] @5: Erin is blue.[(((((((((triple6) -> rule6)) -> rule2) triple6) -> rule7) ((((((((triple6) -> rule6)) -> rule2) triple6) -> rule7)) -> rule3)) -> rule1))]