Anne is big. Anne is green. Anne is quiet. Anne is not rough. Anne is round. Anne is young. Erin is big. Erin is not green. Erin is not rough. Erin is round. Erin is white. Erin is young. Fiona is big. Fiona is not green. Fiona is young. If Fiona is big then Fiona is round. If something is round and big then it is white. Young things are round. Young, green things are round. If Anne is big and Anne is not rough then Anne is young. Rough things are big. If something is green and big then it is quiet. All quiet, round things are young.
Anne is not round.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is not rough.[(triple4)] Anne is quiet.[(triple3 OR ((triple2 triple1) -> rule7))] Anne is round.[(triple5 OR ((triple6) -> rule3) OR ((triple6 triple2) -> rule4) OR ((((triple1 triple4) -> rule5)) -> rule3) OR ((((triple1 triple4) -> rule5) triple2) -> rule4))] Anne is young.[(triple6 OR ((triple1 triple4) -> rule5) OR ((triple3 triple5) -> rule8) OR ((((triple2 triple1) -> rule7) triple5) -> rule8))] Erin is big.[(triple7)] Erin is not green.[(triple8)] Erin is not rough.[(triple9)] Erin is round.[(triple10 OR ((triple12) -> rule3))] Erin is white.[(triple11 OR ((triple10 triple7) -> rule2) OR ((((triple12) -> rule3) triple7) -> rule2))] Erin is young.[(triple12)] Fiona is big.[(triple13)] Fiona is not green.[(triple14)] Fiona is young.[(triple15)] @1: Anne is white.[(((triple5 triple1) -> rule2) OR ((((triple6) -> rule3) triple1) -> rule2) OR ((((triple6 triple2) -> rule4) triple1) -> rule2) OR ((((((triple1 triple4) -> rule5)) -> rule3) triple1) -> rule2) OR ((((((triple1 triple4) -> rule5) triple2) -> rule4) triple1) -> rule2))] Fiona is round.[(((triple13) -> rule1) OR ((triple15) -> rule3))] @2: Fiona is white.[(((((triple13) -> rule1) triple13) -> rule2) OR ((((triple15) -> rule3) triple13) -> rule2))]