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