あの日本刀は立ち歩きする
fact1: もしもあの日本刀が追い越さないとすると立ち歩きしない fact2: もし「あの嚥下機能は勤め上げるかもしくはそれはマッピングしないかまたは両方ともだ」ということは誤りであるならばその六十三．一．一基発はマッピングしない fact3: その六十三．一．一基発はマッピングしないけれど実用化出来るなら移ろうない fact4: その六十三．一．一基発は実用化出来る fact5: あの電気通信回線は済ま無い fact6: もし仮に何らかのものは立ち歩きすれば「それはクローニングであるということはなくて済ま無いということはない」ということは間違いだ fact7: もしも「なにがしかのものは罹患し易いということはないが追い越す」ということは間違いであるとしたら立ち歩きするということはない fact8: 「あの嚥下機能は勤め上げるかもしくはそれはマッピングしないかどちらもだ」ということは事実と異なる fact9: もし仮にあの電気通信回線は済ま無いとすると「あの日本刀は罹患し易いということはないが追い越す」ということは誤っている fact10: あの電気通信回線は移ろうないかつべたいかまたは両方ともであるなら黒っぽい fact11: もしも「ある物はクローニングであるということはなくて済ま無くない」ということは誤りであるならば済ま無い
fact9 & fact5 -> int1: 「あの日本刀は罹患し易くない一方で追い越す」ということは事実であるということはない; fact7 -> int2: もしも「あの日本刀は罹患し易くない一方で追い越す」ということは成り立たないとすれば立ち歩きしない; int1 & int2 -> hypothesis;
あの日本刀は済ま無い
fact13 -> int3: もし「あの日本刀はクローニングでないし更に済ま無くない」ということは偽であるなら済ま無い; fact12 -> int4: あの日本刀は立ち歩きするとすれば「「クローニングでないししかも済ま無くない」ということは事実だ」ということは間違いだ; fact16 & fact17 -> int5: その六十三．一．一基発はマッピングしない; int5 & fact14 -> int6: その六十三．一．一基発はマッピングしないが実用化出来る; fact15 & int6 -> int7: その六十三．一．一基発は移ろうない; int7 -> int8: 「移ろうない」ものはある;
$facts$ = fact1: もしもあの日本刀が追い越さないとすると立ち歩きしない fact2: もし「あの嚥下機能は勤め上げるかもしくはそれはマッピングしないかまたは両方ともだ」ということは誤りであるならばその六十三．一．一基発はマッピングしない fact3: その六十三．一．一基発はマッピングしないけれど実用化出来るなら移ろうない fact4: その六十三．一．一基発は実用化出来る fact5: あの電気通信回線は済ま無い fact6: もし仮に何らかのものは立ち歩きすれば「それはクローニングであるということはなくて済ま無いということはない」ということは間違いだ fact7: もしも「なにがしかのものは罹患し易いということはないが追い越す」ということは間違いであるとしたら立ち歩きするということはない fact8: 「あの嚥下機能は勤め上げるかもしくはそれはマッピングしないかどちらもだ」ということは事実と異なる fact9: もし仮にあの電気通信回線は済ま無いとすると「あの日本刀は罹患し易いということはないが追い越す」ということは誤っている fact10: あの電気通信回線は移ろうないかつべたいかまたは両方ともであるなら黒っぽい fact11: もしも「ある物はクローニングであるということはなくて済ま無くない」ということは誤りであるならば済ま無い ; $hypothesis$ = あの日本刀は立ち歩きする ; $proof$ = 
fact9 & fact5 -> int1: 「あの日本刀は罹患し易くない一方で追い越す」ということは事実であるということはない; fact7 -> int2: もしも「あの日本刀は罹患し易くない一方で追い越す」ということは成り立たないとすれば立ち歩きしない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもあの日本刀が追い越さないとすると立ち歩きしない
事実2: もし「あの嚥下機能は勤め上げるかもしくはそれはマッピングしないかまたは両方ともだ」ということは誤りであるならばその六十三．一．一基発はマッピングしない
事実3: その六十三．一．一基発はマッピングしないけれど実用化出来るなら移ろうない
事実4: その六十三．一．一基発は実用化出来る
事実5: あの電気通信回線は済ま無い
事実6: もし仮に何らかのものは立ち歩きすれば「それはクローニングであるということはなくて済ま無いということはない」ということは間違いだ
事実7: もしも「なにがしかのものは罹患し易いということはないが追い越す」ということは間違いであるとしたら立ち歩きするということはない
事実8: 「あの嚥下機能は勤め上げるかもしくはそれはマッピングしないかどちらもだ」ということは事実と異なる
事実9: もし仮にあの電気通信回線は済ま無いとすると「あの日本刀は罹患し易いということはないが追い越す」ということは誤っている
事実10: あの電気通信回線は移ろうないかつべたいかまたは両方ともであるなら黒っぽい
事実11: もしも「ある物はクローニングであるということはなくて済ま無くない」ということは誤りであるならば済ま無い

仮説: あの日本刀は立ち歩きする
1. 事実9と事実5から、推論1: "「あの日本刀は罹患し易くない一方で追い越す」ということは事実であるということはない"が導かれる
2. 事実7から、推論2: "もしも「あの日本刀は罹患し易くない一方で追い越す」ということは成り立たないとすれば立ち歩きしない"が導かれる
3. 推論1と推論2から、仮説が否定される

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