「その貯留液は締め直すということはない一方でそれはぎごちない」ということは誤っている
fact1: あの紛争解決条項は大統領委員会であるかまたはそれは窒素酸化物でないとすればこの軍隊はぎごちなくない fact2: もしも「その貯留液はぎごちなくないかそれは士道でないかまたはどちらもだ」ということは事実と異なるならこの軍隊はぎごちない fact3: この軍隊は予表しない fact4: もし何らかの物が予表するとすればそれは大統領委員会であるかもしくは窒素酸化物でない fact5: この○○○○が進化出来ないけれど男の子らしいとしたらこのマヤ人は温泉保養地でない fact6: この軍隊は窒素酸化物で大統領委員会だ fact7: 「大統領委員会は窒素酸化物だ」ということは確かである fact8: 仮になにかはぎごちないとすれば「締め直すけれど誤導するということはない」ということは成り立つということはない fact9: この軍隊が誤導するならばあの貯留液は締め直さない一方でぎごちない fact10: もしこのマヤ人が温泉保養地であるということはないならあの紛争解決条項は士道であるしまたそれは誤導する fact11: この○○○○は進化出来ないがしかし男の子らしい fact12: とある物が予表するということはない一方でそれが大統領委員会だとしたらそれは誤導する fact13: その内容・ルールは予表しない fact14: もし「この軍隊は締め直すがしかし誤導しない」ということは成り立たないとするとあの違法犯罪活動は誤導するということはない
fact6 -> int1: この軍隊は大統領委員会だ; int1 & fact3 -> int2: この軍隊は予表しないが大統領委員会である; fact12 -> int3: 「この軍隊は予表するということはない一方で大統領委員会である」ということは成り立つとすれば誤導する; int2 & int3 -> int4: 「この軍隊は誤導する」ということは確かだ; int4 & fact9 -> hypothesis;
あの違法犯罪活動は窒素酸化物である
fact18 -> int5: 仮にあの違法犯罪活動は大統領委員会であるとすればそれは窒素酸化物だ; fact15 -> int6: もしこの軍隊はぎごちないなら「それは締め直すしさらにそれは誤導しない」ということは間違いだ;
$facts$ = fact1: あの紛争解決条項は大統領委員会であるかまたはそれは窒素酸化物でないとすればこの軍隊はぎごちなくない fact2: もしも「その貯留液はぎごちなくないかそれは士道でないかまたはどちらもだ」ということは事実と異なるならこの軍隊はぎごちない fact3: この軍隊は予表しない fact4: もし何らかの物が予表するとすればそれは大統領委員会であるかもしくは窒素酸化物でない fact5: この○○○○が進化出来ないけれど男の子らしいとしたらこのマヤ人は温泉保養地でない fact6: この軍隊は窒素酸化物で大統領委員会だ fact7: 「大統領委員会は窒素酸化物だ」ということは確かである fact8: 仮になにかはぎごちないとすれば「締め直すけれど誤導するということはない」ということは成り立つということはない fact9: この軍隊が誤導するならばあの貯留液は締め直さない一方でぎごちない fact10: もしこのマヤ人が温泉保養地であるということはないならあの紛争解決条項は士道であるしまたそれは誤導する fact11: この○○○○は進化出来ないがしかし男の子らしい fact12: とある物が予表するということはない一方でそれが大統領委員会だとしたらそれは誤導する fact13: その内容・ルールは予表しない fact14: もし「この軍隊は締め直すがしかし誤導しない」ということは成り立たないとするとあの違法犯罪活動は誤導するということはない ; $hypothesis$ = 「その貯留液は締め直すということはない一方でそれはぎごちない」ということは誤っている ; $proof$ = 
fact6 -> int1: この軍隊は大統領委員会だ; int1 & fact3 -> int2: この軍隊は予表しないが大統領委員会である; fact12 -> int3: 「この軍隊は予表するということはない一方で大統領委員会である」ということは成り立つとすれば誤導する; int2 & int3 -> int4: 「この軍隊は誤導する」ということは確かだ; int4 & fact9 -> hypothesis; __DISPROVED__
事実1: あの紛争解決条項は大統領委員会であるかまたはそれは窒素酸化物でないとすればこの軍隊はぎごちなくない
事実2: もしも「その貯留液はぎごちなくないかそれは士道でないかまたはどちらもだ」ということは事実と異なるならこの軍隊はぎごちない
事実3: この軍隊は予表しない
事実4: もし何らかの物が予表するとすればそれは大統領委員会であるかもしくは窒素酸化物でない
事実5: この○○○○が進化出来ないけれど男の子らしいとしたらこのマヤ人は温泉保養地でない
事実6: この軍隊は窒素酸化物で大統領委員会だ
事実7: 「大統領委員会は窒素酸化物だ」ということは確かである
事実8: 仮になにかはぎごちないとすれば「締め直すけれど誤導するということはない」ということは成り立つということはない
事実9: この軍隊が誤導するならばあの貯留液は締め直さない一方でぎごちない
事実10: もしこのマヤ人が温泉保養地であるということはないならあの紛争解決条項は士道であるしまたそれは誤導する
事実11: この○○○○は進化出来ないがしかし男の子らしい
事実12: とある物が予表するということはない一方でそれが大統領委員会だとしたらそれは誤導する
事実13: その内容・ルールは予表しない
事実14: もし「この軍隊は締め直すがしかし誤導しない」ということは成り立たないとするとあの違法犯罪活動は誤導するということはない

仮説: 「その貯留液は締め直すということはない一方でそれはぎごちない」ということは誤っている
1. 事実6から、推論1: "この軍隊は大統領委員会だ"が導かれる
2. 推論1と事実3から、推論2: "この軍隊は予表しないが大統領委員会である"が導かれる
3. 事実12から、推論3: "「この軍隊は予表するということはない一方で大統領委員会である」ということは成り立つとすれば誤導する"が導かれる
4. 推論2と推論3から、推論4: "「この軍隊は誤導する」ということは確かだ"が導かれる
5. 推論4と事実9から、仮説が否定される

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