「もし「この第二次大戦前はカテコラミンだ」ということは成り立つとするとこの基質は悪しい」ということは誤りである
fact1: もし仮にその大学出は探し易いなら「活用し易いということはなくておまけにそれはオーバーするということはない」ということは成り立たない fact2: もし仮に「その大学出は活用し易くないしまたオーバーしない」ということは誤っていればそれは活用し易い fact3: 仮にその大学出が迫り上がれば鳴門海峡でなくてしかもそれは悪しいということはない fact4: 「この基質は悪しいが鳴門海峡でない」ということは誤っている fact5: なんらかのものは合い難くないとすれば「最前でなくてそれはアマンタジンでない」ということは成り立たない fact6: 仮にあの蓄音機が合い難いとすればこの第二次大戦前は思い当たる fact7: もしなにかは迫り上がらないとすると「悪しい一方で鳴門海峡でない」ということは間違いだ fact8: もしもこの第二次大戦前が思い当たるしカテコラミンであるとするとこの基質は鳴門海峡でない fact9: もしもこの基質が活用し易くてそれがオーバーすれば迫り上がらない fact10: もし仮にとあるものは迫り上がらないとすると「それは悪しくないし更に鳴門海峡でない」ということは誤りである fact11: もし仮になにがしかの物が思い当たらないしそれはカテコラミンでないならそれは合い難くない fact12: この第二次大戦前は活用し易いしそれに技術支援だ fact13: もしこの基質は迫り上がらないなら「悪しいけど鳴門海峡でない」ということは嘘だ fact14: この基質は活用し易い fact15: あの蓄音機は合い難い fact16: もし仮にその大学出は鳴門海峡でないならば思い当たらないしそれにカテコラミンでない fact17: この基質が活用し易いしその上それはオーバーする fact18: この第二次大戦前は鳴門海峡でない fact19: この第二次大戦前は悪しい
fact6 & fact15 -> int1: この第二次大戦前は思い当たる; void -> assump1: 以下のように仮定する。この第二次大戦前はカテコラミンである; int1 & assump1 -> int2: この第二次大戦前は思い当たるしまたカテコラミンだ; int2 & fact8 -> int3: この基質は鳴門海峡でない; void -> assump2: 以下のように仮定する。この基質は悪しいということはない; int3 & assump2 -> int4: この基質は悪しくないし鳴門海峡でない; fact9 & fact17 -> int5: この基質は迫り上がらない; fact10 -> int6: もしも「この基質は迫り上がらない」ということは真実だとすると「悪しくないし鳴門海峡でない」ということは成り立つということはない; int5 & int6 -> int7: 「この基質は悪しくないし鳴門海峡でない」ということは偽だ; int4 & int7 -> int8: これは矛盾である; [assump2] & int8 -> int9: この基質は悪しい; [assump1] & int9 -> hypothesis;
「その大学出は最前でなくておまけにそれはアマンタジンでない」ということは事実と異なる
fact23 -> int10: もしもその大学出は合い難くないならば「最前でなくてそれにそれはアマンタジンでない」ということは確かでない; fact21 -> int11: もしもその大学出は思い当たらないしさらにカテコラミンでないならばそれは合い難くない;
$facts$ = fact1: もし仮にその大学出は探し易いなら「活用し易いということはなくておまけにそれはオーバーするということはない」ということは成り立たない fact2: もし仮に「その大学出は活用し易くないしまたオーバーしない」ということは誤っていればそれは活用し易い fact3: 仮にその大学出が迫り上がれば鳴門海峡でなくてしかもそれは悪しいということはない fact4: 「この基質は悪しいが鳴門海峡でない」ということは誤っている fact5: なんらかのものは合い難くないとすれば「最前でなくてそれはアマンタジンでない」ということは成り立たない fact6: 仮にあの蓄音機が合い難いとすればこの第二次大戦前は思い当たる fact7: もしなにかは迫り上がらないとすると「悪しい一方で鳴門海峡でない」ということは間違いだ fact8: もしもこの第二次大戦前が思い当たるしカテコラミンであるとするとこの基質は鳴門海峡でない fact9: もしもこの基質が活用し易くてそれがオーバーすれば迫り上がらない fact10: もし仮にとあるものは迫り上がらないとすると「それは悪しくないし更に鳴門海峡でない」ということは誤りである fact11: もし仮になにがしかの物が思い当たらないしそれはカテコラミンでないならそれは合い難くない fact12: この第二次大戦前は活用し易いしそれに技術支援だ fact13: もしこの基質は迫り上がらないなら「悪しいけど鳴門海峡でない」ということは嘘だ fact14: この基質は活用し易い fact15: あの蓄音機は合い難い fact16: もし仮にその大学出は鳴門海峡でないならば思い当たらないしそれにカテコラミンでない fact17: この基質が活用し易いしその上それはオーバーする fact18: この第二次大戦前は鳴門海峡でない fact19: この第二次大戦前は悪しい ; $hypothesis$ = 「もし「この第二次大戦前はカテコラミンだ」ということは成り立つとするとこの基質は悪しい」ということは誤りである ; $proof$ = 
fact6 & fact15 -> int1: この第二次大戦前は思い当たる; void -> assump1: 以下のように仮定する。この第二次大戦前はカテコラミンである; int1 & assump1 -> int2: この第二次大戦前は思い当たるしまたカテコラミンだ; int2 & fact8 -> int3: この基質は鳴門海峡でない; void -> assump2: 以下のように仮定する。この基質は悪しいということはない; int3 & assump2 -> int4: この基質は悪しくないし鳴門海峡でない; fact9 & fact17 -> int5: この基質は迫り上がらない; fact10 -> int6: もしも「この基質は迫り上がらない」ということは真実だとすると「悪しくないし鳴門海峡でない」ということは成り立つということはない; int5 & int6 -> int7: 「この基質は悪しくないし鳴門海峡でない」ということは偽だ; int4 & int7 -> int8: これは矛盾である; [assump2] & int8 -> int9: この基質は悪しい; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: もし仮にその大学出は探し易いなら「活用し易いということはなくておまけにそれはオーバーするということはない」ということは成り立たない
事実2: もし仮に「その大学出は活用し易くないしまたオーバーしない」ということは誤っていればそれは活用し易い
事実3: 仮にその大学出が迫り上がれば鳴門海峡でなくてしかもそれは悪しいということはない
事実4: 「この基質は悪しいが鳴門海峡でない」ということは誤っている
事実5: なんらかのものは合い難くないとすれば「最前でなくてそれはアマンタジンでない」ということは成り立たない
事実6: 仮にあの蓄音機が合い難いとすればこの第二次大戦前は思い当たる
事実7: もしなにかは迫り上がらないとすると「悪しい一方で鳴門海峡でない」ということは間違いだ
事実8: もしもこの第二次大戦前が思い当たるしカテコラミンであるとするとこの基質は鳴門海峡でない
事実9: もしもこの基質が活用し易くてそれがオーバーすれば迫り上がらない
事実10: もし仮にとあるものは迫り上がらないとすると「それは悪しくないし更に鳴門海峡でない」ということは誤りである
事実11: もし仮になにがしかの物が思い当たらないしそれはカテコラミンでないならそれは合い難くない
事実12: この第二次大戦前は活用し易いしそれに技術支援だ
事実13: もしこの基質は迫り上がらないなら「悪しいけど鳴門海峡でない」ということは嘘だ
事実14: この基質は活用し易い
事実15: あの蓄音機は合い難い
事実16: もし仮にその大学出は鳴門海峡でないならば思い当たらないしそれにカテコラミンでない
事実17: この基質が活用し易いしその上それはオーバーする
事実18: この第二次大戦前は鳴門海峡でない
事実19: この第二次大戦前は悪しい

仮説: 「もし「この第二次大戦前はカテコラミンだ」ということは成り立つとするとこの基質は悪しい」ということは誤りである
1. 事実6と事実15から、推論1: "この第二次大戦前は思い当たる"が導かれる
2. 仮定1: 以下のように仮定する。この第二次大戦前はカテコラミンである
3. 推論1と仮定1から、推論2: "この第二次大戦前は思い当たるしまたカテコラミンだ"が導かれる
4. 推論2と事実8から、推論3: "この基質は鳴門海峡でない"が導かれる
5. 仮定2: 以下のように仮定する。この基質は悪しいということはない
6. 推論3と仮定2から、推論4: "この基質は悪しくないし鳴門海峡でない"が導かれる
7. 事実9と事実17から、推論5: "この基質は迫り上がらない"が導かれる
8. 事実10から、推論6: "もしも「この基質は迫り上がらない」ということは真実だとすると「悪しくないし鳴門海峡でない」ということは成り立つということはない"が導かれる
9. 推論5と推論6から、推論7: "「この基質は悪しくないし鳴門海峡でない」ということは偽だ"が導かれる
10. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
11. [仮定2]と推論8から、推論9: "この基質は悪しい"が導かれる
12. [仮定1]と推論9から、仮説が否定される

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