その柄杓は蹴散らさなくて辛気臭くない
fact1: もしもあの最小化ボタンが交換しないならあの発達的変化は交換しなくてそれに読み易いということはない fact2: この璞第は合い難い fact3: 仮にあの発達的変化が交換しないしさらに読み易くないとしたらその柄杓は蹴散らさない fact4: あの最小化ボタンは嫌味ったらしい fact5: 「この璞第は合い難いが接頭語だということはない」ということは誤りだ fact6: その柄杓は想定し難いがしかし辛気臭いということはない fact7: もし「あの最小化ボタンは交換するしそれは嫌味ったらしい」ということは成り立てば「この璞第は接頭語だということはない」ということは真実だ
void -> assump1: 以下のように仮定する。あの最小化ボタンは交換する; assump1 & fact4 -> int1: あの最小化ボタンは交換するし更に嫌味ったらしい; int1 & fact7 -> int2: この璞第は接頭語でない; int2 & fact2 -> int3: この璞第は合い難い一方でそれは接頭語であるということはない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの最小化ボタンは交換するということはない; int5 & fact1 -> int6: あの発達的変化は交換しないし更に読み易くない; int6 & fact3 -> int7: その柄杓は蹴散らさない; fact6 -> int8: 「その柄杓は辛気臭くない」ということは真実だ; int7 & int8 -> hypothesis;
$facts$ = fact1: もしもあの最小化ボタンが交換しないならあの発達的変化は交換しなくてそれに読み易いということはない fact2: この璞第は合い難い fact3: 仮にあの発達的変化が交換しないしさらに読み易くないとしたらその柄杓は蹴散らさない fact4: あの最小化ボタンは嫌味ったらしい fact5: 「この璞第は合い難いが接頭語だということはない」ということは誤りだ fact6: その柄杓は想定し難いがしかし辛気臭いということはない fact7: もし「あの最小化ボタンは交換するしそれは嫌味ったらしい」ということは成り立てば「この璞第は接頭語だということはない」ということは真実だ ; $hypothesis$ = その柄杓は蹴散らさなくて辛気臭くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの最小化ボタンは交換する; assump1 & fact4 -> int1: あの最小化ボタンは交換するし更に嫌味ったらしい; int1 & fact7 -> int2: この璞第は接頭語でない; int2 & fact2 -> int3: この璞第は合い難い一方でそれは接頭語であるということはない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの最小化ボタンは交換するということはない; int5 & fact1 -> int6: あの発達的変化は交換しないし更に読み易くない; int6 & fact3 -> int7: その柄杓は蹴散らさない; fact6 -> int8: 「その柄杓は辛気臭くない」ということは真実だ; int7 & int8 -> hypothesis; __PROVED__
事実1: もしもあの最小化ボタンが交換しないならあの発達的変化は交換しなくてそれに読み易いということはない
事実2: この璞第は合い難い
事実3: 仮にあの発達的変化が交換しないしさらに読み易くないとしたらその柄杓は蹴散らさない
事実4: あの最小化ボタンは嫌味ったらしい
事実5: 「この璞第は合い難いが接頭語だということはない」ということは誤りだ
事実6: その柄杓は想定し難いがしかし辛気臭いということはない
事実7: もし「あの最小化ボタンは交換するしそれは嫌味ったらしい」ということは成り立てば「この璞第は接頭語だということはない」ということは真実だ

仮説: その柄杓は蹴散らさなくて辛気臭くない
1. 仮定1: 以下のように仮定する。あの最小化ボタンは交換する
2. 仮定1と事実4から、推論1: "あの最小化ボタンは交換するし更に嫌味ったらしい"が導かれる
3. 推論1と事実7から、推論2: "この璞第は接頭語でない"が導かれる
4. 推論2と事実2から、推論3: "この璞第は合い難い一方でそれは接頭語であるということはない"が導かれる
5. 推論3と事実5から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの最小化ボタンは交換するということはない"が導かれる
7. 推論5と事実1から、推論6: "あの発達的変化は交換しないし更に読み易くない"が導かれる
8. 推論6と事実3から、推論7: "その柄杓は蹴散らさない"が導かれる
9. 事実6から、推論8: "「その柄杓は辛気臭くない」ということは真実だ"が導かれる
10. 推論7と推論8から、仮説が導かれる

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