Anne is big. Anne is blue. Anne is quiet. Anne is round. Anne is smart. Anne is white. Anne is young. Fiona is big. Fiona is blue. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is white. Fiona is young. If Fiona is white and Fiona is blue then Fiona is quiet. All white, round things are big. Young, quiet things are white. Blue, big things are quiet. White things are quiet. If Anne is big and Anne is white then Anne is quiet.
Anne is blue.
@0: Anne is big.[(triple1 OR ((triple6 triple4) -> rule2) OR ((((triple7 triple3) -> rule3) triple4) -> rule2))] Anne is blue.[(triple2)] Anne is quiet.[(triple3 OR ((triple6) -> rule5) OR ((triple1 triple6) -> rule6) OR ((triple2 triple1) -> rule4) OR ((triple2 ((triple6 triple4) -> rule2)) -> rule4) OR ((((triple6 triple4) -> rule2) triple6) -> rule6))] Anne is round.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6 OR ((triple7 triple3) -> rule3) OR ((triple7 ((triple2 triple1) -> rule4)) -> rule3))] Anne is young.[(triple7)] Fiona is big.[(triple8 OR ((triple13 triple11) -> rule2) OR ((((triple14 triple10) -> rule3) triple11) -> rule2))] Fiona is blue.[(triple9)] Fiona is quiet.[(triple10 OR ((triple13) -> rule5) OR ((triple13 triple9) -> rule1) OR ((triple9 triple8) -> rule4) OR ((triple9 ((triple13 triple11) -> rule2)) -> rule4))] Fiona is round.[(triple11)] Fiona is smart.[(triple12)] Fiona is white.[(triple13 OR ((triple14 triple10) -> rule3) OR ((triple14 ((triple9 triple8) -> rule4)) -> rule3))] Fiona is young.[(triple14)]