「このＤＫが太り難くないとすればこのＤＫはページレイアウトであるかまたはそれはふくらし粉であるかあるいは両方だ」ということは嘘である
fact1: もしもなにがしかの物は沈み切るということはなくて太り難いということはないとすればアプローチし易くない fact2: 仮に何かは沈み切らないが太り難いならばそれはアプローチし易いということはない fact3: あのビットマップフォントは選る fact4: その人間以下は太り難い fact5: その隊士は太り難くない fact6: もしも何らかのものが掴み易くないならばそれは白っぽい fact7: もし仮にこのＤＫがアプローチし易いとすると選るかあるいは沈み切るかまたはどちらもだ fact8: この大量記憶機能は沈み切る fact9: あのビットマップフォントは書き難い fact10: アプローチし易くない物はふくらし粉である fact11: もしとあるものは書き難くないなら「選らないし更にそれは太り難い」ということは成り立たない fact12: もし仮にとあるものは沈み切るということはないしふくらし粉でないとしたらページレイアウトでない fact13: このＤＫは分掌するしかつそれは遣れる fact14: その離は選る fact15: あのビットマップフォントは上り易い fact16: あの寝不足は選る fact17: あの請け負い業は太り難いかあるいは酔い易い fact18: あのビットマップフォントは過ごせなくてページレイアウトでない fact19: あのビットマップフォントは沈み切る fact20: あのロマンは沈み切らない fact21: もしあのビットマップフォントが書き難いし選るとしたらこのＤＫは沈み切るということはない
fact9 & fact3 -> int1: あのビットマップフォントは書き難くてさらに選る; int1 & fact21 -> int2: 「「このＤＫは沈み切る」ということは誤りだ」ということは成り立つ; void -> assump1: 以下のように仮定する。このＤＫは太り難くない; int2 & assump1 -> int3: このＤＫは沈み切らないし更にそれは太り難いということはない; fact1 -> int4: このＤＫが沈み切らないしそれが太り難くないとするとそれはアプローチし易くない; int3 & int4 -> int5: このＤＫはアプローチし易くない; fact10 -> int6: もし仮にこのＤＫがアプローチし易いということはないならばそれはふくらし粉である; int5 & int6 -> int7: このＤＫはふくらし粉だ; int7 -> int8: このＤＫはページレイアウトであるかまたはふくらし粉であるか両方ともだ; [assump1] & int8 -> hypothesis;
この水郷地帯は太り難くない
fact22 -> int9: もしあのビットマップフォントは書き難くないとしたら「それは選らなくてかつ太り難い」ということは事実でない;
$facts$ = fact1: もしもなにがしかの物は沈み切るということはなくて太り難いということはないとすればアプローチし易くない fact2: 仮に何かは沈み切らないが太り難いならばそれはアプローチし易いということはない fact3: あのビットマップフォントは選る fact4: その人間以下は太り難い fact5: その隊士は太り難くない fact6: もしも何らかのものが掴み易くないならばそれは白っぽい fact7: もし仮にこのＤＫがアプローチし易いとすると選るかあるいは沈み切るかまたはどちらもだ fact8: この大量記憶機能は沈み切る fact9: あのビットマップフォントは書き難い fact10: アプローチし易くない物はふくらし粉である fact11: もしとあるものは書き難くないなら「選らないし更にそれは太り難い」ということは成り立たない fact12: もし仮にとあるものは沈み切るということはないしふくらし粉でないとしたらページレイアウトでない fact13: このＤＫは分掌するしかつそれは遣れる fact14: その離は選る fact15: あのビットマップフォントは上り易い fact16: あの寝不足は選る fact17: あの請け負い業は太り難いかあるいは酔い易い fact18: あのビットマップフォントは過ごせなくてページレイアウトでない fact19: あのビットマップフォントは沈み切る fact20: あのロマンは沈み切らない fact21: もしあのビットマップフォントが書き難いし選るとしたらこのＤＫは沈み切るということはない ; $hypothesis$ = 「このＤＫが太り難くないとすればこのＤＫはページレイアウトであるかまたはそれはふくらし粉であるかあるいは両方だ」ということは嘘である ; $proof$ = 
fact9 & fact3 -> int1: あのビットマップフォントは書き難くてさらに選る; int1 & fact21 -> int2: 「「このＤＫは沈み切る」ということは誤りだ」ということは成り立つ; void -> assump1: 以下のように仮定する。このＤＫは太り難くない; int2 & assump1 -> int3: このＤＫは沈み切らないし更にそれは太り難いということはない; fact1 -> int4: このＤＫが沈み切らないしそれが太り難くないとするとそれはアプローチし易くない; int3 & int4 -> int5: このＤＫはアプローチし易くない; fact10 -> int6: もし仮にこのＤＫがアプローチし易いということはないならばそれはふくらし粉である; int5 & int6 -> int7: このＤＫはふくらし粉だ; int7 -> int8: このＤＫはページレイアウトであるかまたはふくらし粉であるか両方ともだ; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: もしもなにがしかの物は沈み切るということはなくて太り難いということはないとすればアプローチし易くない
事実2: 仮に何かは沈み切らないが太り難いならばそれはアプローチし易いということはない
事実3: あのビットマップフォントは選る
事実4: その人間以下は太り難い
事実5: その隊士は太り難くない
事実6: もしも何らかのものが掴み易くないならばそれは白っぽい
事実7: もし仮にこのＤＫがアプローチし易いとすると選るかあるいは沈み切るかまたはどちらもだ
事実8: この大量記憶機能は沈み切る
事実9: あのビットマップフォントは書き難い
事実10: アプローチし易くない物はふくらし粉である
事実11: もしとあるものは書き難くないなら「選らないし更にそれは太り難い」ということは成り立たない
事実12: もし仮にとあるものは沈み切るということはないしふくらし粉でないとしたらページレイアウトでない
事実13: このＤＫは分掌するしかつそれは遣れる
事実14: その離は選る
事実15: あのビットマップフォントは上り易い
事実16: あの寝不足は選る
事実17: あの請け負い業は太り難いかあるいは酔い易い
事実18: あのビットマップフォントは過ごせなくてページレイアウトでない
事実19: あのビットマップフォントは沈み切る
事実20: あのロマンは沈み切らない
事実21: もしあのビットマップフォントが書き難いし選るとしたらこのＤＫは沈み切るということはない

仮説: 「このＤＫが太り難くないとすればこのＤＫはページレイアウトであるかまたはそれはふくらし粉であるかあるいは両方だ」ということは嘘である
1. 事実9と事実3から、推論1: "あのビットマップフォントは書き難くてさらに選る"が導かれる
2. 推論1と事実21から、推論2: "「「このＤＫは沈み切る」ということは誤りだ」ということは成り立つ"が導かれる
3. 仮定1: 以下のように仮定する。このＤＫは太り難くない
4. 推論2と仮定1から、推論3: "このＤＫは沈み切らないし更にそれは太り難いということはない"が導かれる
5. 事実1から、推論4: "このＤＫが沈み切らないしそれが太り難くないとするとそれはアプローチし易くない"が導かれる
6. 推論3と推論4から、推論5: "このＤＫはアプローチし易くない"が導かれる
7. 事実10から、推論6: "もし仮にこのＤＫがアプローチし易いということはないならばそれはふくらし粉である"が導かれる
8. 推論5と推論6から、推論7: "このＤＫはふくらし粉だ"が導かれる
9. 推論7から、推論8: "このＤＫはページレイアウトであるかまたはふくらし粉であるか両方ともだ"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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