Anne is white. Bob is round. Erin is green. Erin is red. Erin is not round. Erin is white. Harry is young. All red, round people are quiet. If someone is young then they are white. Round people are young. If someone is round and smart then they are not red. All white people are red. Quiet people are green. If someone is red and not white then they are not green.
Erin is round.
@0: Anne is white.[(triple1)] Bob is round.[(triple2)] Erin is green.[(triple3)] Erin is not round.[(triple5)] Erin is red.[(triple4 OR ((triple6) -> rule5))] Erin is white.[(triple6)] Harry is young.[(triple7)] @1: Anne is red.[(((triple1) -> rule5))] Bob is young.[(((triple2) -> rule3))] Harry is white.[(((triple7) -> rule2))] @2: Bob is white.[(((((triple2) -> rule3)) -> rule2))] Harry is red.[(((((triple7) -> rule2)) -> rule5))] @3: Bob is red.[(((((((triple2) -> rule3)) -> rule2)) -> rule5))] @4: Bob is quiet.[(((((((((triple2) -> rule3)) -> rule2)) -> rule5) triple2) -> rule1))] @5: Bob is green.[(((((((((((triple2) -> rule3)) -> rule2)) -> rule5) triple2) -> rule1)) -> rule6))]