「そのＱＣＴ法は推進出来るかまたは蹴上げるかあるいはどちらもである」ということは成り立たない
fact1: もしもこのオーケストラ用が益無しとしたらそれはインポートしなくてそれは生産可能性フロンティアだ fact2: 仮にそのＱＣＴ法が不射だということはないとしたらあの政府規制は推進出来る fact3: あの政府規制は推進出来るということはない fact4: もしもある物は不射でないとしたら「それは推進出来るかもしくは蹴上げるかまたは両方ともである」ということは誤りである fact5: そのＱＣＴ法は蹴上げるかもしくはそれは不射であるかあるいは両方ともだ fact6: あの政府規制は益無しない fact7: そのＱＣＴ法はおっかしいかそれは自書するかもしくはどちらもである fact8: もしも「そのＱＣＴ法は不射でない」ということは真実ならばあの政府規制は蹴上げる fact9: あの政府規制は蹴上げない fact10: 「もしもあの政府規制が不射でないとするとそのＱＣＴ法は蹴上げる」ということは真実だ fact11: あの政府規制は不射でない fact12: なにがしかの物がインポートするとすると不射でないかあるいは荒いということはないか両方ともだ fact13: そのＱＣＴ法は文語文だ fact14: 益無しないものはインポートするし生産可能性フロンティアである fact15: あの政府規制が推進出来ないとすればそのＱＣＴ法は不射である fact16: この其々は推進出来ない fact17: そのＱＣＴ法は不射であるかもしくはそれは推進出来るかまたはどちらもだ fact18: その白旗は蹴上げる fact19: 「そのＱＣＴ法は神農本草経でない」ということは事実だ fact20: このオーケストラ用は益無ししおまけにレッテルである fact21: もし何らかのものはインポートするということはないけど生産可能性フロンティアならば荒くない fact22: このクレジット・サラ金業者は減免するかもしくはそれは推進出来るか両方ともである
fact10 & fact11 -> int1: そのＱＣＴ法は蹴上げる; int1 -> hypothesis;
「そのＱＣＴ法は推進出来るかあるいは蹴上げる」ということは間違いである
fact23 -> int2: もしもこのオーケストラ用がインポートするということはないけどそれが生産可能性フロンティアだとするとそれは荒くない; fact25 -> int3: 「このオーケストラ用は益無し」ということは事実である; fact24 & int3 -> int4: このオーケストラ用はインポートしないがしかし生産可能性フロンティアである; int2 & int4 -> int5: このオーケストラ用は荒くない; int5 -> int6: 荒くないものはある;
$facts$ = fact1: もしもこのオーケストラ用が益無しとしたらそれはインポートしなくてそれは生産可能性フロンティアだ fact2: 仮にそのＱＣＴ法が不射だということはないとしたらあの政府規制は推進出来る fact3: あの政府規制は推進出来るということはない fact4: もしもある物は不射でないとしたら「それは推進出来るかもしくは蹴上げるかまたは両方ともである」ということは誤りである fact5: そのＱＣＴ法は蹴上げるかもしくはそれは不射であるかあるいは両方ともだ fact6: あの政府規制は益無しない fact7: そのＱＣＴ法はおっかしいかそれは自書するかもしくはどちらもである fact8: もしも「そのＱＣＴ法は不射でない」ということは真実ならばあの政府規制は蹴上げる fact9: あの政府規制は蹴上げない fact10: 「もしもあの政府規制が不射でないとするとそのＱＣＴ法は蹴上げる」ということは真実だ fact11: あの政府規制は不射でない fact12: なにがしかの物がインポートするとすると不射でないかあるいは荒いということはないか両方ともだ fact13: そのＱＣＴ法は文語文だ fact14: 益無しないものはインポートするし生産可能性フロンティアである fact15: あの政府規制が推進出来ないとすればそのＱＣＴ法は不射である fact16: この其々は推進出来ない fact17: そのＱＣＴ法は不射であるかもしくはそれは推進出来るかまたはどちらもだ fact18: その白旗は蹴上げる fact19: 「そのＱＣＴ法は神農本草経でない」ということは事実だ fact20: このオーケストラ用は益無ししおまけにレッテルである fact21: もし何らかのものはインポートするということはないけど生産可能性フロンティアならば荒くない fact22: このクレジット・サラ金業者は減免するかもしくはそれは推進出来るか両方ともである ; $hypothesis$ = 「そのＱＣＴ法は推進出来るかまたは蹴上げるかあるいはどちらもである」ということは成り立たない ; $proof$ = 
fact10 & fact11 -> int1: そのＱＣＴ法は蹴上げる; int1 -> hypothesis; __DISPROVED__
事実1: もしもこのオーケストラ用が益無しとしたらそれはインポートしなくてそれは生産可能性フロンティアだ
事実2: 仮にそのＱＣＴ法が不射だということはないとしたらあの政府規制は推進出来る
事実3: あの政府規制は推進出来るということはない
事実4: もしもある物は不射でないとしたら「それは推進出来るかもしくは蹴上げるかまたは両方ともである」ということは誤りである
事実5: そのＱＣＴ法は蹴上げるかもしくはそれは不射であるかあるいは両方ともだ
事実6: あの政府規制は益無しない
事実7: そのＱＣＴ法はおっかしいかそれは自書するかもしくはどちらもである
事実8: もしも「そのＱＣＴ法は不射でない」ということは真実ならばあの政府規制は蹴上げる
事実9: あの政府規制は蹴上げない
事実10: 「もしもあの政府規制が不射でないとするとそのＱＣＴ法は蹴上げる」ということは真実だ
事実11: あの政府規制は不射でない
事実12: なにがしかの物がインポートするとすると不射でないかあるいは荒いということはないか両方ともだ
事実13: そのＱＣＴ法は文語文だ
事実14: 益無しないものはインポートするし生産可能性フロンティアである
事実15: あの政府規制が推進出来ないとすればそのＱＣＴ法は不射である
事実16: この其々は推進出来ない
事実17: そのＱＣＴ法は不射であるかもしくはそれは推進出来るかまたはどちらもだ
事実18: その白旗は蹴上げる
事実19: 「そのＱＣＴ法は神農本草経でない」ということは事実だ
事実20: このオーケストラ用は益無ししおまけにレッテルである
事実21: もし何らかのものはインポートするということはないけど生産可能性フロンティアならば荒くない
事実22: このクレジット・サラ金業者は減免するかもしくはそれは推進出来るか両方ともである

仮説: 「そのＱＣＴ法は推進出来るかまたは蹴上げるかあるいはどちらもである」ということは成り立たない
1. 事実10と事実11から、推論1: "そのＱＣＴ法は蹴上げる"が導かれる
2. 推論1から、仮説が否定される

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