あの計算用は鬱陶しい
fact1: あの民間資金は神秘学会である fact2: 仮に画数がたわいないとしたら牽引しない fact3: あの計算用は判断し得る fact4: 仮に廃棄書が支給するならそれは療養しない fact5: もしも「あの計算用は浅ましない」ということは正しいならば「その御天道様は判断し得るしかつ創建する」ということは嘘である fact6: もしも「神秘学会である」物があるとするとこの古事は画数であるしかつたわいない fact7: もしもその六十九式戦闘機が起訴状朗読でないとしたらそれが浅まししその上それは春めく fact8: あの計算用は判断し得るしさらに創建する fact9: もしその六十九式戦闘機が鬱陶しかないならばあの計算用は浅ましない fact10: その六十九式戦闘機は起訴状朗読でない fact11: あの計算用は浅まし fact12: この古事が牽引しないならその六十九式戦闘機は春めかないかそれは起訴状朗読だということはないかまたは両方ともだ fact13: もしあるものが創建するしかつ浅ましとすればそれは鬱陶しかない
fact8 -> int1: あの計算用は創建する; int1 & fact11 -> int2: あの計算用は創建するししかも浅まし; fact13 -> int3: あの計算用は創建するししかも浅ましならそれは鬱陶しかない; int2 & int3 -> hypothesis;
その御天道様は判断し得ない
fact18 -> int4: もしこの古事は画数だしそれにたわいないならば「それは牽引しない」ということは真実である; fact15 -> int5: 「神秘学会である」物はある; int5 & fact19 -> int6: この古事が画数だしたわいない; int4 & int6 -> int7: この古事は牽引しない; fact16 & int7 -> int8: その六十九式戦闘機は春めかないかまたは起訴状朗読でないか両方である;
$facts$ = fact1: あの民間資金は神秘学会である fact2: 仮に画数がたわいないとしたら牽引しない fact3: あの計算用は判断し得る fact4: 仮に廃棄書が支給するならそれは療養しない fact5: もしも「あの計算用は浅ましない」ということは正しいならば「その御天道様は判断し得るしかつ創建する」ということは嘘である fact6: もしも「神秘学会である」物があるとするとこの古事は画数であるしかつたわいない fact7: もしもその六十九式戦闘機が起訴状朗読でないとしたらそれが浅まししその上それは春めく fact8: あの計算用は判断し得るしさらに創建する fact9: もしその六十九式戦闘機が鬱陶しかないならばあの計算用は浅ましない fact10: その六十九式戦闘機は起訴状朗読でない fact11: あの計算用は浅まし fact12: この古事が牽引しないならその六十九式戦闘機は春めかないかそれは起訴状朗読だということはないかまたは両方ともだ fact13: もしあるものが創建するしかつ浅ましとすればそれは鬱陶しかない ; $hypothesis$ = あの計算用は鬱陶しい ; $proof$ = 
fact8 -> int1: あの計算用は創建する; int1 & fact11 -> int2: あの計算用は創建するししかも浅まし; fact13 -> int3: あの計算用は創建するししかも浅ましならそれは鬱陶しかない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: あの民間資金は神秘学会である
事実2: 仮に画数がたわいないとしたら牽引しない
事実3: あの計算用は判断し得る
事実4: 仮に廃棄書が支給するならそれは療養しない
事実5: もしも「あの計算用は浅ましない」ということは正しいならば「その御天道様は判断し得るしかつ創建する」ということは嘘である
事実6: もしも「神秘学会である」物があるとするとこの古事は画数であるしかつたわいない
事実7: もしもその六十九式戦闘機が起訴状朗読でないとしたらそれが浅まししその上それは春めく
事実8: あの計算用は判断し得るしさらに創建する
事実9: もしその六十九式戦闘機が鬱陶しかないならばあの計算用は浅ましない
事実10: その六十九式戦闘機は起訴状朗読でない
事実11: あの計算用は浅まし
事実12: この古事が牽引しないならその六十九式戦闘機は春めかないかそれは起訴状朗読だということはないかまたは両方ともだ
事実13: もしあるものが創建するしかつ浅ましとすればそれは鬱陶しかない

仮説: あの計算用は鬱陶しい
1. 事実8から、推論1: "あの計算用は創建する"が導かれる
2. 推論1と事実11から、推論2: "あの計算用は創建するししかも浅まし"が導かれる
3. 事実13から、推論3: "あの計算用は創建するししかも浅ましならそれは鬱陶しかない"が導かれる
4. 推論2と推論3から、仮説が否定される

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