あの新生骨は多領域である
fact1: 仮に「「全うする」ということは本当な」物があるとすればその部隊は全うするかそれは薄汚いかもしくは両方だ fact2: とある物が全うするし更に麗しいとするとそれは落語界でない fact3: もしもその部隊が全うするとすればあの県単位は全うする fact4: あの新生骨は落語界だ fact5: もしもあの県単位が落語界でないとすればあの新生骨は与信取り引きであるしその上多領域だ fact6: もし何らかのものが与信取り引きだということはないとしたら多領域でないが落語界だ fact7: あの新生骨は想像し易いけど恭しくない fact8: もし仮に「あの新生骨は想像し易いし恭しい」ということは本当だとしたら与信取り引きでない fact9: 仮にあの新生骨は与信取り引きでないなら「それは落語界だ」ということは事実だ fact10: あの診断能は憎たらしい fact11: あの新生骨は想像し易いけど恭しいということはないならそれは与信取り引きであるということはない fact12: その石鏃は自然療法だけれど落語界でない fact13: もし仮にあの診断能が憎たらしいとしたら全うする fact14: もし仮に何かは与信取り引きだということはないならばそれは落語界である
fact11 & fact7 -> int1: あの新生骨は与信取り引きだということはない; fact6 -> int2: 仮にあの新生骨は与信取り引きでないなら多領域であるということはないけど落語界である; int1 & int2 -> int3: 「あの新生骨は多領域でないけれど落語界である」ということは正しい; int3 -> hypothesis;
fact11 & fact7 -> int1: ¬{B}{a}; fact6 -> int2: ¬{B}{a} -> (¬{A}{a} & {C}{a}); int1 & int2 -> int3: (¬{A}{a} & {C}{a}); int3 -> hypothesis;
あの新生骨は多領域だ
fact18 -> int4: もしもあの県単位は全うするしおまけに麗しいならば「それは落語界だ」ということは成り立たない; fact20 & fact19 -> int5: あの診断能は全うする; int5 -> int6: なんらかの物は全うする; int6 & fact15 -> int7: その部隊は全うするかもしくはそれは薄汚い;
$facts$ = fact1: 仮に「「全うする」ということは本当な」物があるとすればその部隊は全うするかそれは薄汚いかもしくは両方だ fact2: とある物が全うするし更に麗しいとするとそれは落語界でない fact3: もしもその部隊が全うするとすればあの県単位は全うする fact4: あの新生骨は落語界だ fact5: もしもあの県単位が落語界でないとすればあの新生骨は与信取り引きであるしその上多領域だ fact6: もし何らかのものが与信取り引きだということはないとしたら多領域でないが落語界だ fact7: あの新生骨は想像し易いけど恭しくない fact8: もし仮に「あの新生骨は想像し易いし恭しい」ということは本当だとしたら与信取り引きでない fact9: 仮にあの新生骨は与信取り引きでないなら「それは落語界だ」ということは事実だ fact10: あの診断能は憎たらしい fact11: あの新生骨は想像し易いけど恭しいということはないならそれは与信取り引きであるということはない fact12: その石鏃は自然療法だけれど落語界でない fact13: もし仮にあの診断能が憎たらしいとしたら全うする fact14: もし仮に何かは与信取り引きだということはないならばそれは落語界である ; $hypothesis$ = あの新生骨は多領域である ; $proof$ = 
fact11 & fact7 -> int1: あの新生骨は与信取り引きだということはない; fact6 -> int2: 仮にあの新生骨は与信取り引きでないなら多領域であるということはないけど落語界である; int1 & int2 -> int3: 「あの新生骨は多領域でないけれど落語界である」ということは正しい; int3 -> hypothesis; __DISPROVED__
事実1: 仮に「「全うする」ということは本当な」物があるとすればその部隊は全うするかそれは薄汚いかもしくは両方だ
事実2: とある物が全うするし更に麗しいとするとそれは落語界でない
事実3: もしもその部隊が全うするとすればあの県単位は全うする
事実4: あの新生骨は落語界だ
事実5: もしもあの県単位が落語界でないとすればあの新生骨は与信取り引きであるしその上多領域だ
事実6: もし何らかのものが与信取り引きだということはないとしたら多領域でないが落語界だ
事実7: あの新生骨は想像し易いけど恭しくない
事実8: もし仮に「あの新生骨は想像し易いし恭しい」ということは本当だとしたら与信取り引きでない
事実9: 仮にあの新生骨は与信取り引きでないなら「それは落語界だ」ということは事実だ
事実10: あの診断能は憎たらしい
事実11: あの新生骨は想像し易いけど恭しいということはないならそれは与信取り引きであるということはない
事実12: その石鏃は自然療法だけれど落語界でない
事実13: もし仮にあの診断能が憎たらしいとしたら全うする
事実14: もし仮に何かは与信取り引きだということはないならばそれは落語界である

仮説: あの新生骨は多領域である
1. 事実11と事実7から、推論1: "あの新生骨は与信取り引きだということはない"が導かれる
2. 事実6から、推論2: "仮にあの新生骨は与信取り引きでないなら多領域であるということはないけど落語界である"が導かれる
3. 推論1と推論2から、推論3: "「あの新生骨は多領域でないけれど落語界である」ということは正しい"が導かれる
4. 推論3から、仮説が否定される

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