この対テロ戦争はすげなくない
fact1: あるものは国家主権でない fact2: もし「なにかはフィットするけど推奨出来ない」ということは偽であるならフィットしない fact3: この措置義務違反はフィットしなくておまけにそれは国家主権でない fact4: あるものはフィットしない fact5: とあるものはフィットするということはないがしかしそれは国家主権である fact6: 仮に「フィットしないしさらに国家主権だということはない」ものがあるとするとこの対テロ戦争は重たい fact7: 仮にある物はコリオジェニンであるなら「ＷＷＷだけれど降格しない」ということは偽である fact8: その遣り様は受け付け時間でない fact9: もし仮になにかはフィットしないなら「この対テロ戦争はフィットするけど推奨出来ない」ということは成り立たない fact10: もしもこの対テロ戦争が増量するとするとあの現人神はすげない fact11: この対テロ戦争はサーベイしなくてしかもそれは惜しみ無くない fact12: あの中国奥地は高過ぎないけれどおもろい fact13: なにがしかのものがフィットしないし更に重たくないならこの措置義務違反はすげない fact14: 仮にその遣り様が受け付け時間でないとするとあのビルジャンがコリオジェニンだしさらに自粛する fact15: 「重たい物はすげない」ということは事実である fact16: もしもあるものがフィットするということはない一方で国家主権であるとするとそれはすげなくない fact17: もし仮に重たくないものは増量するなら「それはフィットするということはない」ということは本当である fact18: 「フィットするけど国家主権でない」ものはある fact19: もしも「なにがしかのものはＷＷＷであるがしかし降格しない」ということは確かでないとすればフィットしない fact20: 尊いものは我慢強さである fact21: もしなにがしかのものが増量しないならば国家主権であるしまた重たい
fact3 -> int1: 「フィットしなくて国家主権でない」ものはある; int1 & fact6 -> int2: この対テロ戦争は重たい; fact15 -> int3: もし仮にこの対テロ戦争が重たいとすればすげない; int2 & int3 -> hypothesis;
この対テロ戦争はすげなくない
fact22 -> int4: もしあのビルジャンは重たくないけれど増量するならそれはフィットしない;
$facts$ = fact1: あるものは国家主権でない fact2: もし「なにかはフィットするけど推奨出来ない」ということは偽であるならフィットしない fact3: この措置義務違反はフィットしなくておまけにそれは国家主権でない fact4: あるものはフィットしない fact5: とあるものはフィットするということはないがしかしそれは国家主権である fact6: 仮に「フィットしないしさらに国家主権だということはない」ものがあるとするとこの対テロ戦争は重たい fact7: 仮にある物はコリオジェニンであるなら「ＷＷＷだけれど降格しない」ということは偽である fact8: その遣り様は受け付け時間でない fact9: もし仮になにかはフィットしないなら「この対テロ戦争はフィットするけど推奨出来ない」ということは成り立たない fact10: もしもこの対テロ戦争が増量するとするとあの現人神はすげない fact11: この対テロ戦争はサーベイしなくてしかもそれは惜しみ無くない fact12: あの中国奥地は高過ぎないけれどおもろい fact13: なにがしかのものがフィットしないし更に重たくないならこの措置義務違反はすげない fact14: 仮にその遣り様が受け付け時間でないとするとあのビルジャンがコリオジェニンだしさらに自粛する fact15: 「重たい物はすげない」ということは事実である fact16: もしもあるものがフィットするということはない一方で国家主権であるとするとそれはすげなくない fact17: もし仮に重たくないものは増量するなら「それはフィットするということはない」ということは本当である fact18: 「フィットするけど国家主権でない」ものはある fact19: もしも「なにがしかのものはＷＷＷであるがしかし降格しない」ということは確かでないとすればフィットしない fact20: 尊いものは我慢強さである fact21: もしなにがしかのものが増量しないならば国家主権であるしまた重たい ; $hypothesis$ = この対テロ戦争はすげなくない ; $proof$ = 
fact3 -> int1: 「フィットしなくて国家主権でない」ものはある; int1 & fact6 -> int2: この対テロ戦争は重たい; fact15 -> int3: もし仮にこの対テロ戦争が重たいとすればすげない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: あるものは国家主権でない
事実2: もし「なにかはフィットするけど推奨出来ない」ということは偽であるならフィットしない
事実3: この措置義務違反はフィットしなくておまけにそれは国家主権でない
事実4: あるものはフィットしない
事実5: とあるものはフィットするということはないがしかしそれは国家主権である
事実6: 仮に「フィットしないしさらに国家主権だということはない」ものがあるとするとこの対テロ戦争は重たい
事実7: 仮にある物はコリオジェニンであるなら「ＷＷＷだけれど降格しない」ということは偽である
事実8: その遣り様は受け付け時間でない
事実9: もし仮になにかはフィットしないなら「この対テロ戦争はフィットするけど推奨出来ない」ということは成り立たない
事実10: もしもこの対テロ戦争が増量するとするとあの現人神はすげない
事実11: この対テロ戦争はサーベイしなくてしかもそれは惜しみ無くない
事実12: あの中国奥地は高過ぎないけれどおもろい
事実13: なにがしかのものがフィットしないし更に重たくないならこの措置義務違反はすげない
事実14: 仮にその遣り様が受け付け時間でないとするとあのビルジャンがコリオジェニンだしさらに自粛する
事実15: 「重たい物はすげない」ということは事実である
事実16: もしもあるものがフィットするということはない一方で国家主権であるとするとそれはすげなくない
事実17: もし仮に重たくないものは増量するなら「それはフィットするということはない」ということは本当である
事実18: 「フィットするけど国家主権でない」ものはある
事実19: もしも「なにがしかのものはＷＷＷであるがしかし降格しない」ということは確かでないとすればフィットしない
事実20: 尊いものは我慢強さである
事実21: もしなにがしかのものが増量しないならば国家主権であるしまた重たい

仮説: この対テロ戦争はすげなくない
1. 事実3から、推論1: "「フィットしなくて国家主権でない」ものはある"が導かれる
2. 推論1と事実6から、推論2: "この対テロ戦争は重たい"が導かれる
3. 事実15から、推論3: "もし仮にこの対テロ戦争が重たいとすればすげない"が導かれる
4. 推論2と推論3から、仮説が否定される

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