その学術雑誌は騒乱でない
fact1: その相互信頼関係は図々しい fact2: もし仮にあのガダルカナル戦がしつこくないとするとあの保有株式は付き合い始めるし程近い fact3: 細い安友達はない fact4: あのガダルカナル戦は憲法草案であるということはないけれどそれは招き易い fact5: もしあのガダルカナル戦が付き合い始めるとするとその学術雑誌は騒乱である fact6: なにがしかのものがしつこくないとすればそれは予表するということはない fact7: もしなんらかの物は付き合い始めるとすれば「御呼び下さるということはないがしかし騒乱である」ということは成り立たない fact8: もしもその相互信頼関係が図々しいならばあの保有株式はイギリス人でないかあるいはしつこくないかまたは両方ともである fact9: もしもあるものが程近くないならそれは付き合い始める fact10: もしあのガダルカナル戦が予表するとするとあの保有株式は御呼び下さる fact11: もしその相互信頼関係は渋いということはないとすれば「三々五々だしそれに輝かしい」ということは成り立たない fact12: 仮にあの保有株式が御呼び下さるとしたら二惑星落下であるということはない一方で予表する fact13: もし「その相互信頼関係が三々五々だしその上輝かしい」ということは成り立たないならばそれは輝かしくない fact14: 「「あの疑い深さは安友達でその上細い」ということは成り立つ」ということは成り立つということはないとすると細くない fact15: 何らかの物はイギリス人であるということはないならばそれは予表しない fact16: 仮にあのガダルカナル戦は付き合い始めないとすれば「予表しない」ということは成り立つ fact17: もしもあるものはイギリス人でないとすると図々しい fact18: あの疑い深さが細くないとすればあの相互信頼関係はしつこいしおまけにはあはあする fact19: もし仮にあのガダルカナル戦が図々しいならばそれは御呼び下さらない fact20: 輝かしくない物は図々しくてまたイギリス人だ fact21: その学術雑誌は付き合い始める fact22: もしもあの保有株式が御呼び下さらないならあのガダルカナル戦は程近くない一方で御呼び下さる fact23: 仮にその相互信頼関係はイギリス人であるししかもしつこいとすれば「あのガダルカナル戦はしつこくない」ということは本当である fact24: もしあの保有株式が図々しかないとしたらしつこい
void -> assump1: 以下のように仮定する。「あの保有株式は御呼び下さる」ということは正しい; fact12 & assump1 -> int1: あの保有株式は二惑星落下でないがしかし予表する; int1 -> int2: 「「あの保有株式は予表しない」ということは偽である」ということは誤りでない; fact6 -> int3: もしあの保有株式がしつこくないならそれは予表しない; fact15 -> int4: もし仮に「あの保有株式はイギリス人でない」ということは成り立てば「予表しない」ということは真実だ; fact8 & fact1 -> int5: あの保有株式はイギリス人でないかまたはしつこくないかまたはどちらもだ; int3 & int4 & int5 -> int6: 「あの保有株式は予表するということはない」ということは正しい; int2 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの保有株式は御呼び下さるということはない; int8 & fact22 -> int9: あのガダルカナル戦は程近いということはないけど御呼び下さる; int9 -> int10: あのガダルカナル戦は程近くない; fact9 -> int11: あのガダルカナル戦が程近くないとすれば付き合い始める; int10 & int11 -> int12: あのガダルカナル戦は付き合い始める; int12 & fact5 -> hypothesis;
その学術雑誌は騒乱でない
fact25 -> int13: もしあの保有株式は付き合い始めるとすると「御呼び下さらないけれど騒乱だ」ということは嘘だ; fact30 -> int14: 仮にその相互信頼関係は輝かしくないとすれば「図々しいしイギリス人だ」ということは事実である; fact32 -> int15: 「あの疑い深さは安友達で細い」ということは偽である; fact28 & int15 -> int16: 「あの疑い深さは細くない」ということは確かである; fact33 & int16 -> int17: その相互信頼関係はしつこくてまたはあはあする; int17 -> int18: その相互信頼関係はしつこい;
$facts$ = fact1: その相互信頼関係は図々しい fact2: もし仮にあのガダルカナル戦がしつこくないとするとあの保有株式は付き合い始めるし程近い fact3: 細い安友達はない fact4: あのガダルカナル戦は憲法草案であるということはないけれどそれは招き易い fact5: もしあのガダルカナル戦が付き合い始めるとするとその学術雑誌は騒乱である fact6: なにがしかのものがしつこくないとすればそれは予表するということはない fact7: もしなんらかの物は付き合い始めるとすれば「御呼び下さるということはないがしかし騒乱である」ということは成り立たない fact8: もしもその相互信頼関係が図々しいならばあの保有株式はイギリス人でないかあるいはしつこくないかまたは両方ともである fact9: もしもあるものが程近くないならそれは付き合い始める fact10: もしあのガダルカナル戦が予表するとするとあの保有株式は御呼び下さる fact11: もしその相互信頼関係は渋いということはないとすれば「三々五々だしそれに輝かしい」ということは成り立たない fact12: 仮にあの保有株式が御呼び下さるとしたら二惑星落下であるということはない一方で予表する fact13: もし「その相互信頼関係が三々五々だしその上輝かしい」ということは成り立たないならばそれは輝かしくない fact14: 「「あの疑い深さは安友達でその上細い」ということは成り立つ」ということは成り立つということはないとすると細くない fact15: 何らかの物はイギリス人であるということはないならばそれは予表しない fact16: 仮にあのガダルカナル戦は付き合い始めないとすれば「予表しない」ということは成り立つ fact17: もしもあるものはイギリス人でないとすると図々しい fact18: あの疑い深さが細くないとすればあの相互信頼関係はしつこいしおまけにはあはあする fact19: もし仮にあのガダルカナル戦が図々しいならばそれは御呼び下さらない fact20: 輝かしくない物は図々しくてまたイギリス人だ fact21: その学術雑誌は付き合い始める fact22: もしもあの保有株式が御呼び下さらないならあのガダルカナル戦は程近くない一方で御呼び下さる fact23: 仮にその相互信頼関係はイギリス人であるししかもしつこいとすれば「あのガダルカナル戦はしつこくない」ということは本当である fact24: もしあの保有株式が図々しかないとしたらしつこい ; $hypothesis$ = その学術雑誌は騒乱でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの保有株式は御呼び下さる」ということは正しい; fact12 & assump1 -> int1: あの保有株式は二惑星落下でないがしかし予表する; int1 -> int2: 「「あの保有株式は予表しない」ということは偽である」ということは誤りでない; fact6 -> int3: もしあの保有株式がしつこくないならそれは予表しない; fact15 -> int4: もし仮に「あの保有株式はイギリス人でない」ということは成り立てば「予表しない」ということは真実だ; fact8 & fact1 -> int5: あの保有株式はイギリス人でないかまたはしつこくないかまたはどちらもだ; int3 & int4 & int5 -> int6: 「あの保有株式は予表するということはない」ということは正しい; int2 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの保有株式は御呼び下さるということはない; int8 & fact22 -> int9: あのガダルカナル戦は程近いということはないけど御呼び下さる; int9 -> int10: あのガダルカナル戦は程近くない; fact9 -> int11: あのガダルカナル戦が程近くないとすれば付き合い始める; int10 & int11 -> int12: あのガダルカナル戦は付き合い始める; int12 & fact5 -> hypothesis; __DISPROVED__
事実1: その相互信頼関係は図々しい
事実2: もし仮にあのガダルカナル戦がしつこくないとするとあの保有株式は付き合い始めるし程近い
事実3: 細い安友達はない
事実4: あのガダルカナル戦は憲法草案であるということはないけれどそれは招き易い
事実5: もしあのガダルカナル戦が付き合い始めるとするとその学術雑誌は騒乱である
事実6: なにがしかのものがしつこくないとすればそれは予表するということはない
事実7: もしなんらかの物は付き合い始めるとすれば「御呼び下さるということはないがしかし騒乱である」ということは成り立たない
事実8: もしもその相互信頼関係が図々しいならばあの保有株式はイギリス人でないかあるいはしつこくないかまたは両方ともである
事実9: もしもあるものが程近くないならそれは付き合い始める
事実10: もしあのガダルカナル戦が予表するとするとあの保有株式は御呼び下さる
事実11: もしその相互信頼関係は渋いということはないとすれば「三々五々だしそれに輝かしい」ということは成り立たない
事実12: 仮にあの保有株式が御呼び下さるとしたら二惑星落下であるということはない一方で予表する
事実13: もし「その相互信頼関係が三々五々だしその上輝かしい」ということは成り立たないならばそれは輝かしくない
事実14: 「「あの疑い深さは安友達でその上細い」ということは成り立つ」ということは成り立つということはないとすると細くない
事実15: 何らかの物はイギリス人であるということはないならばそれは予表しない
事実16: 仮にあのガダルカナル戦は付き合い始めないとすれば「予表しない」ということは成り立つ
事実17: もしもあるものはイギリス人でないとすると図々しい
事実18: あの疑い深さが細くないとすればあの相互信頼関係はしつこいしおまけにはあはあする
事実19: もし仮にあのガダルカナル戦が図々しいならばそれは御呼び下さらない
事実20: 輝かしくない物は図々しくてまたイギリス人だ
事実21: その学術雑誌は付き合い始める
事実22: もしもあの保有株式が御呼び下さらないならあのガダルカナル戦は程近くない一方で御呼び下さる
事実23: 仮にその相互信頼関係はイギリス人であるししかもしつこいとすれば「あのガダルカナル戦はしつこくない」ということは本当である
事実24: もしあの保有株式が図々しかないとしたらしつこい

仮説: その学術雑誌は騒乱でない
1. 仮定1: 以下のように仮定する。「あの保有株式は御呼び下さる」ということは正しい
2. 事実12と仮定1から、推論1: "あの保有株式は二惑星落下でないがしかし予表する"が導かれる
3. 推論1から、推論2: "「「あの保有株式は予表しない」ということは偽である」ということは誤りでない"が導かれる
4. 事実6から、推論3: "もしあの保有株式がしつこくないならそれは予表しない"が導かれる
5. 事実15から、推論4: "もし仮に「あの保有株式はイギリス人でない」ということは成り立てば「予表しない」ということは真実だ"が導かれる
6. 事実8と事実1から、推論5: "あの保有株式はイギリス人でないかまたはしつこくないかまたはどちらもだ"が導かれる
7. 推論3と推論4と推論5から、推論6: "「あの保有株式は予表するということはない」ということは正しい"が導かれる
8. 推論2と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの保有株式は御呼び下さるということはない"が導かれる
10. 推論8と事実22から、推論9: "あのガダルカナル戦は程近いということはないけど御呼び下さる"が導かれる
11. 推論9から、推論10: "あのガダルカナル戦は程近くない"が導かれる
12. 事実9から、推論11: "あのガダルカナル戦が程近くないとすれば付き合い始める"が導かれる
13. 推論10と推論11から、推論12: "あのガダルカナル戦は付き合い始める"が導かれる
14. 推論12と事実5から、仮説が否定される

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