あのソムリエは女の子らしくない
fact1: もしあのソムリエが引けないけれど築くならこの緻密さは築かない fact2: もし仮に「あのソムリエは築くか引ける」ということは真実であるとするとそれは女の子らしくない fact3: あの冊封使は築く fact4: あのソムリエは築く
fact4 -> int1: あのソムリエは築くかそれは引けるか両方ともである; int1 & fact2 -> hypothesis;
fact4 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> hypothesis;
この緻密さは築くということはない
$facts$ = fact1: もしあのソムリエが引けないけれど築くならこの緻密さは築かない fact2: もし仮に「あのソムリエは築くか引ける」ということは真実であるとするとそれは女の子らしくない fact3: あの冊封使は築く fact4: あのソムリエは築く ; $hypothesis$ = あのソムリエは女の子らしくない ; $proof$ = 
fact4 -> int1: あのソムリエは築くかそれは引けるか両方ともである; int1 & fact2 -> hypothesis; __PROVED__
事実1: もしあのソムリエが引けないけれど築くならこの緻密さは築かない
事実2: もし仮に「あのソムリエは築くか引ける」ということは真実であるとするとそれは女の子らしくない
事実3: あの冊封使は築く
事実4: あのソムリエは築く

仮説: あのソムリエは女の子らしくない
1. 事実4から、推論1: "あのソムリエは築くかそれは引けるか両方ともである"が導かれる
2. 推論1と事実2から、仮説が導かれる

よって、仮説が証明されました。