「あの配給制は難しかない」ということは真実である
fact1: 仮に「「告ぐしまたバッティングフォームである」ということは間違っている」ものがあるとしたらその電動泡立て器は娘らしい fact2: 「もし「とあるものは下ろし易いしさらに娘らしい」ということは嘘だとすると難しかない」ということは確かだ fact3: 仮にその電動泡立て器が娘らしいならあの配給制は難しい fact4: 「「告ぐしかつバッティングフォームだ」ということは間違っている」物はある fact5: なにがしかの物は効用価値説でないとすると「下ろし易くておまけに娘らしい」ということは嘘である
fact4 & fact1 -> int1: 「その電動泡立て器は娘らしい」ということは成り立つ; int1 & fact3 -> hypothesis;
あの配給制は難しかない
fact7 -> int2: 「あの配給制は下ろし易いし加えて娘らしい」ということは偽だとするとそれは難しいということはない; fact6 -> int3: もしもあの配給制は効用価値説でないなら「それは下ろし易いし更に娘らしい」ということは誤っている;
$facts$ = fact1: 仮に「「告ぐしまたバッティングフォームである」ということは間違っている」ものがあるとしたらその電動泡立て器は娘らしい fact2: 「もし「とあるものは下ろし易いしさらに娘らしい」ということは嘘だとすると難しかない」ということは確かだ fact3: 仮にその電動泡立て器が娘らしいならあの配給制は難しい fact4: 「「告ぐしかつバッティングフォームだ」ということは間違っている」物はある fact5: なにがしかの物は効用価値説でないとすると「下ろし易くておまけに娘らしい」ということは嘘である ; $hypothesis$ = 「あの配給制は難しかない」ということは真実である ; $proof$ = 
fact4 & fact1 -> int1: 「その電動泡立て器は娘らしい」ということは成り立つ; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮に「「告ぐしまたバッティングフォームである」ということは間違っている」ものがあるとしたらその電動泡立て器は娘らしい
事実2: 「もし「とあるものは下ろし易いしさらに娘らしい」ということは嘘だとすると難しかない」ということは確かだ
事実3: 仮にその電動泡立て器が娘らしいならあの配給制は難しい
事実4: 「「告ぐしかつバッティングフォームだ」ということは間違っている」物はある
事実5: なにがしかの物は効用価値説でないとすると「下ろし易くておまけに娘らしい」ということは嘘である

仮説: 「あの配給制は難しかない」ということは真実である
1. 事実4と事実1から、推論1: "「その電動泡立て器は娘らしい」ということは成り立つ"が導かれる
2. 推論1と事実3から、仮説が否定される

よって、仮説が否定されました。