Anne is big. Anne is quiet. Anne is red. Anne is round. Bob is quiet. Bob is round. Bob is not white. Erin is big. Erin is quiet. Erin is red. Erin is round. Erin is white. Gary is blue. Gary is quiet. Gary is not round. Red, round things are big. If something is white then it is big. Round things are red. If something is red then it is not young. If something is blue and young then it is round. Red, round things are quiet. All young things are white. If something is red then it is blue.
Erin is not blue.
@0: Anne is big.[(triple1 OR ((triple3 triple4) -> rule1) OR ((((triple4) -> rule3) triple4) -> rule1))] Anne is quiet.[(triple2 OR ((triple3 triple4) -> rule6) OR ((((triple4) -> rule3) triple4) -> rule6))] Anne is red.[(triple3 OR ((triple4) -> rule3))] Anne is round.[(triple4)] Bob is not white.[(triple7)] Bob is quiet.[(triple5 OR ((((triple6) -> rule3) triple6) -> rule6))] Bob is round.[(triple6)] Erin is big.[(triple8 OR ((triple12) -> rule2) OR ((triple10 triple11) -> rule1) OR ((((triple11) -> rule3) triple11) -> rule1))] Erin is quiet.[(triple9 OR ((triple10 triple11) -> rule6) OR ((((triple11) -> rule3) triple11) -> rule6))] Erin is red.[(triple10 OR ((triple11) -> rule3))] Erin is round.[(triple11)] Erin is white.[(triple12)] Gary is blue.[(triple13)] Gary is not round.[(triple15)] Gary is quiet.[(triple14)] @1: Anne is blue.[(((triple3) -> rule8) OR ((((triple4) -> rule3)) -> rule8))] Anne is not young.[(((triple3) -> rule4) OR ((((triple4) -> rule3)) -> rule4))] Bob is red.[(((triple6) -> rule3))] Erin is blue.[(((triple10) -> rule8) OR ((((triple11) -> rule3)) -> rule8))] Erin is not young.[(((triple10) -> rule4) OR ((((triple11) -> rule3)) -> rule4))] @2: Bob is big.[(((((triple6) -> rule3) triple6) -> rule1))] Bob is blue.[(((((triple6) -> rule3)) -> rule8))] Bob is not young.[(((((triple6) -> rule3)) -> rule4))]