その斑点状は定めない
fact1: 仮に「なんらかの物は定めないか全国展開するかもしくはどちらもである」ということは確かだとすれば定めるということはない fact2: その斑点状は全国展開しない fact3: この連邦全体は全国展開しない fact4: もしあの高圧が全国展開しないならばそれは懐こい fact5: もし「あの高圧は国際化するということはなくてかつ許し難くない」ということは確かだとしたらあの拡充整備は不起訴処分だ fact6: あの高圧は全国展開しない fact7: もしあの拡充整備が不起訴処分だとすればその斑点状は定める fact8: もしあの高圧が懐こいとしたらそれは塩化バリウムである fact9: 戻し易くない物は若い fact10: もしあの高圧が塩化バリウムならば国際化しない fact11: あの高圧は国際化しない fact12: もしあの高圧が国際化するが許し難くないとしたらあの拡充整備は不起訴処分だ fact13: 仮にあの高圧は塩化バリウムだとすれば「国際化しないし許し難くない」ということは真実である fact14: もしもその斑点状が許し難しとするとあの高圧は定める
fact4 & fact6 -> int1: あの高圧は懐こい; int1 & fact8 -> int2: あの高圧は塩化バリウムである; int2 & fact13 -> int3: あの高圧は国際化しないし許し難しということはない; int3 & fact5 -> int4: あの拡充整備は不起訴処分である; int4 & fact7 -> hypothesis;
もしあの拡充整備が戻し易くないならば若い
fact15 -> hypothesis;
$facts$ = fact1: 仮に「なんらかの物は定めないか全国展開するかもしくはどちらもである」ということは確かだとすれば定めるということはない fact2: その斑点状は全国展開しない fact3: この連邦全体は全国展開しない fact4: もしあの高圧が全国展開しないならばそれは懐こい fact5: もし「あの高圧は国際化するということはなくてかつ許し難くない」ということは確かだとしたらあの拡充整備は不起訴処分だ fact6: あの高圧は全国展開しない fact7: もしあの拡充整備が不起訴処分だとすればその斑点状は定める fact8: もしあの高圧が懐こいとしたらそれは塩化バリウムである fact9: 戻し易くない物は若い fact10: もしあの高圧が塩化バリウムならば国際化しない fact11: あの高圧は国際化しない fact12: もしあの高圧が国際化するが許し難くないとしたらあの拡充整備は不起訴処分だ fact13: 仮にあの高圧は塩化バリウムだとすれば「国際化しないし許し難くない」ということは真実である fact14: もしもその斑点状が許し難しとするとあの高圧は定める ; $hypothesis$ = その斑点状は定めない ; $proof$ = 
fact4 & fact6 -> int1: あの高圧は懐こい; int1 & fact8 -> int2: あの高圧は塩化バリウムである; int2 & fact13 -> int3: あの高圧は国際化しないし許し難しということはない; int3 & fact5 -> int4: あの拡充整備は不起訴処分である; int4 & fact7 -> hypothesis; __DISPROVED__
事実1: 仮に「なんらかの物は定めないか全国展開するかもしくはどちらもである」ということは確かだとすれば定めるということはない
事実2: その斑点状は全国展開しない
事実3: この連邦全体は全国展開しない
事実4: もしあの高圧が全国展開しないならばそれは懐こい
事実5: もし「あの高圧は国際化するということはなくてかつ許し難くない」ということは確かだとしたらあの拡充整備は不起訴処分だ
事実6: あの高圧は全国展開しない
事実7: もしあの拡充整備が不起訴処分だとすればその斑点状は定める
事実8: もしあの高圧が懐こいとしたらそれは塩化バリウムである
事実9: 戻し易くない物は若い
事実10: もしあの高圧が塩化バリウムならば国際化しない
事実11: あの高圧は国際化しない
事実12: もしあの高圧が国際化するが許し難くないとしたらあの拡充整備は不起訴処分だ
事実13: 仮にあの高圧は塩化バリウムだとすれば「国際化しないし許し難くない」ということは真実である
事実14: もしもその斑点状が許し難しとするとあの高圧は定める

仮説: その斑点状は定めない
1. 事実4と事実6から、推論1: "あの高圧は懐こい"が導かれる
2. 推論1と事実8から、推論2: "あの高圧は塩化バリウムである"が導かれる
3. 推論2と事実13から、推論3: "あの高圧は国際化しないし許し難しということはない"が導かれる
4. 推論3と事実5から、推論4: "あの拡充整備は不起訴処分である"が導かれる
5. 推論4と事実7から、仮説が否定される

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