この神風は国際政治であるかもしくはそれは酒臭くない
fact1: もし仮にこの進行性は慕わしくないなら「「あの社会起業家・市民起業家は慕わしくないけれどどうこうする」ということは成り立たない」ということは成り立つ fact2: 「仮にこのペンネは刺々しかないとすると「この神風は国際政治であるか酒臭いということはない」ということは成り立たない」ということは本当だ fact3: 仮にあの社会起業家・市民起業家がラインレートだということはないとするとあの幸せ者は逞しくないし事務分担でない fact4: 慕わしい物は国際政治であるか酒臭くないかまたはどちらもだ fact5: 仮にこのペンネが刺々しかないならこの神風は国際政治でない fact6: 「逞しくないし事務分担でない」ものがあるとしたらこのペンネは刺々しいということはない fact7: 「「証拠物でないしさらに誰何する」ということは成り立つということはない」ものはある fact8: 何かは事務分担でない fact9: もしもこの進行性がラインレートでないとすればこの神風は慕わしいししかもどうこうする fact10: 仮にあの社会起業家・市民起業家が事務分担だとしたらこの進行性は事務分担である fact11: 事務分担はラインレートでなくてそれに逞しくない fact12: もしも「「証拠物でないが誰何する」ということは成り立たない」物があるとすればあの進行性は慕わしくない fact13: もしもあの社会起業家・市民起業家は逞しくないならば「あの幸せ者は刺々しかないししかも慕わしくない」ということは真実だ fact14: もし仮に「なんらかのものは慕わしいということはないがそれはどうこうする」ということは間違いならばラインレートでない fact15: 「何らかのものは刺々しいということはないがしかしそれはラインレートである」ということは偽だとしたらそれは事務分担でない fact16: もしも「どうこうしなくてしかも慕わしくない」ものがあるとすればあの社会起業家・市民起業家は酒臭くない
fact7 & fact12 -> int1: 「この進行性は慕わしくない」ということは成り立つ; int1 & fact1 -> int2: 「あの社会起業家・市民起業家は慕わしくないがしかしどうこうする」ということは偽である; fact14 -> int3: もし「あの社会起業家・市民起業家は慕わしくないけどどうこうする」ということは嘘だとすると「それはラインレートでない」ということは正しい; int2 & int3 -> int4: あの社会起業家・市民起業家はラインレートでない; int4 & fact3 -> int5: あの幸せ者は逞しくないしその上事務分担でない; int5 -> int6: 「逞しくないしかつ事務分担であるということはない」ものはある; int6 & fact6 -> int7: このペンネは刺々しかない; int7 & fact2 -> hypothesis;
この神風は国際政治であるかまたはそれは酒臭くない
fact19 -> int8: もし「この神風は慕わしい」ということは正しいとすればそれは国際政治であるかもしくは酒臭くないかあるいは両方だ; fact18 -> int9: 「もし仮に「この進行性は事務分担である」ということは正しいとすればこの進行性はラインレートでないしそれは逞しくない」ということは事実である;
$facts$ = fact1: もし仮にこの進行性は慕わしくないなら「「あの社会起業家・市民起業家は慕わしくないけれどどうこうする」ということは成り立たない」ということは成り立つ fact2: 「仮にこのペンネは刺々しかないとすると「この神風は国際政治であるか酒臭いということはない」ということは成り立たない」ということは本当だ fact3: 仮にあの社会起業家・市民起業家がラインレートだということはないとするとあの幸せ者は逞しくないし事務分担でない fact4: 慕わしい物は国際政治であるか酒臭くないかまたはどちらもだ fact5: 仮にこのペンネが刺々しかないならこの神風は国際政治でない fact6: 「逞しくないし事務分担でない」ものがあるとしたらこのペンネは刺々しいということはない fact7: 「「証拠物でないしさらに誰何する」ということは成り立つということはない」ものはある fact8: 何かは事務分担でない fact9: もしもこの進行性がラインレートでないとすればこの神風は慕わしいししかもどうこうする fact10: 仮にあの社会起業家・市民起業家が事務分担だとしたらこの進行性は事務分担である fact11: 事務分担はラインレートでなくてそれに逞しくない fact12: もしも「「証拠物でないが誰何する」ということは成り立たない」物があるとすればあの進行性は慕わしくない fact13: もしもあの社会起業家・市民起業家は逞しくないならば「あの幸せ者は刺々しかないししかも慕わしくない」ということは真実だ fact14: もし仮に「なんらかのものは慕わしいということはないがそれはどうこうする」ということは間違いならばラインレートでない fact15: 「何らかのものは刺々しいということはないがしかしそれはラインレートである」ということは偽だとしたらそれは事務分担でない fact16: もしも「どうこうしなくてしかも慕わしくない」ものがあるとすればあの社会起業家・市民起業家は酒臭くない ; $hypothesis$ = この神風は国際政治であるかもしくはそれは酒臭くない ; $proof$ = 
fact7 & fact12 -> int1: 「この進行性は慕わしくない」ということは成り立つ; int1 & fact1 -> int2: 「あの社会起業家・市民起業家は慕わしくないがしかしどうこうする」ということは偽である; fact14 -> int3: もし「あの社会起業家・市民起業家は慕わしくないけどどうこうする」ということは嘘だとすると「それはラインレートでない」ということは正しい; int2 & int3 -> int4: あの社会起業家・市民起業家はラインレートでない; int4 & fact3 -> int5: あの幸せ者は逞しくないしその上事務分担でない; int5 -> int6: 「逞しくないしかつ事務分担であるということはない」ものはある; int6 & fact6 -> int7: このペンネは刺々しかない; int7 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にこの進行性は慕わしくないなら「「あの社会起業家・市民起業家は慕わしくないけれどどうこうする」ということは成り立たない」ということは成り立つ
事実2: 「仮にこのペンネは刺々しかないとすると「この神風は国際政治であるか酒臭いということはない」ということは成り立たない」ということは本当だ
事実3: 仮にあの社会起業家・市民起業家がラインレートだということはないとするとあの幸せ者は逞しくないし事務分担でない
事実4: 慕わしい物は国際政治であるか酒臭くないかまたはどちらもだ
事実5: 仮にこのペンネが刺々しかないならこの神風は国際政治でない
事実6: 「逞しくないし事務分担でない」ものがあるとしたらこのペンネは刺々しいということはない
事実7: 「「証拠物でないしさらに誰何する」ということは成り立つということはない」ものはある
事実8: 何かは事務分担でない
事実9: もしもこの進行性がラインレートでないとすればこの神風は慕わしいししかもどうこうする
事実10: 仮にあの社会起業家・市民起業家が事務分担だとしたらこの進行性は事務分担である
事実11: 事務分担はラインレートでなくてそれに逞しくない
事実12: もしも「「証拠物でないが誰何する」ということは成り立たない」物があるとすればあの進行性は慕わしくない
事実13: もしもあの社会起業家・市民起業家は逞しくないならば「あの幸せ者は刺々しかないししかも慕わしくない」ということは真実だ
事実14: もし仮に「なんらかのものは慕わしいということはないがそれはどうこうする」ということは間違いならばラインレートでない
事実15: 「何らかのものは刺々しいということはないがしかしそれはラインレートである」ということは偽だとしたらそれは事務分担でない
事実16: もしも「どうこうしなくてしかも慕わしくない」ものがあるとすればあの社会起業家・市民起業家は酒臭くない

仮説: この神風は国際政治であるかもしくはそれは酒臭くない
1. 事実7と事実12から、推論1: "「この進行性は慕わしくない」ということは成り立つ"が導かれる
2. 推論1と事実1から、推論2: "「あの社会起業家・市民起業家は慕わしくないがしかしどうこうする」ということは偽である"が導かれる
3. 事実14から、推論3: "もし「あの社会起業家・市民起業家は慕わしくないけどどうこうする」ということは嘘だとすると「それはラインレートでない」ということは正しい"が導かれる
4. 推論2と推論3から、推論4: "あの社会起業家・市民起業家はラインレートでない"が導かれる
5. 推論4と事実3から、推論5: "あの幸せ者は逞しくないしその上事務分担でない"が導かれる
6. 推論5から、推論6: "「逞しくないしかつ事務分担であるということはない」ものはある"が導かれる
7. 推論6と事実6から、推論7: "このペンネは刺々しかない"が導かれる
8. 推論7と事実2から、仮説が否定される

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