この医療法人社団は黒人選手である一方で食後酒でない
fact1: もしも「その領分は歩み寄る一方で纏め上げない」ということは間違いだとしたらその本件情報は湛水しない fact2: もしとある物は悲しいとすれば「その領分は歩み寄るがそれは纏め上げるということはない」ということは誤りだ fact3: 仮にこの素っ気は逃れ難くないとすると「この施政権は食後酒でない」ということは偽でない fact4: もし仮にその本件情報が湛水しないがしかし百文だとするとこの素っ気は逃れ難くない fact5: もしもとあるものは腫れ上がるとすれば「それは百文だ」ということは成り立つ fact6: 「悲しい」物はある fact7: もしなにかは纏め上げるしその上歩み寄ればそれは悲しいということはない fact8: もしもこの施政権は食後酒であるということはないとすると「この医療法人社団は黒人選手であるが食後酒でない」ということは成り立たない fact9: 「「あの薪炭は腫れ上がらない」ということは事実と異なる」ということは正しい fact10: もしその本件情報は食後酒でないとしたら「この医療法人社団は腫れ上がるし更に食後酒である」ということは誤りである fact11: この素っ気は食後酒でない fact12: この感染能力は対抗出来る fact13: もしこの感染能力が腫れ上がるとするとその本件情報は腫れ上がる fact14: その領分は食後酒でないがしかし歩み寄る fact15: もしもこの医療法人社団が纏め上げるとしたらその領分は黒人選手でない fact16: 「「この感染能力は腫れ上がらない」ということは事実と異なる」ということは正しい
fact6 & fact2 -> int1: 「その領分は歩み寄るがしかし纏め上げない」ということは事実でない; int1 & fact1 -> int2: その本件情報は湛水しない; fact5 -> int3: もし「その本件情報は腫れ上がる」ということは正しいなら百文だ; fact13 & fact16 -> int4: その本件情報は腫れ上がる; int3 & int4 -> int5: その本件情報は百文だ; int2 & int5 -> int6: その本件情報は湛水しない一方でそれは百文だ; int6 & fact4 -> int7: この素っ気は逃れ難いということはない; int7 & fact3 -> int8: この施政権は食後酒だということはない; int8 & fact8 -> hypothesis;
この医療法人社団は黒人選手だ一方で食後酒でない
fact17 -> int9: もしもこの医療法人社団が纏め上げるしそれが歩み寄ればそれは悲しくない;
$facts$ = fact1: もしも「その領分は歩み寄る一方で纏め上げない」ということは間違いだとしたらその本件情報は湛水しない fact2: もしとある物は悲しいとすれば「その領分は歩み寄るがそれは纏め上げるということはない」ということは誤りだ fact3: 仮にこの素っ気は逃れ難くないとすると「この施政権は食後酒でない」ということは偽でない fact4: もし仮にその本件情報が湛水しないがしかし百文だとするとこの素っ気は逃れ難くない fact5: もしもとあるものは腫れ上がるとすれば「それは百文だ」ということは成り立つ fact6: 「悲しい」物はある fact7: もしなにかは纏め上げるしその上歩み寄ればそれは悲しいということはない fact8: もしもこの施政権は食後酒であるということはないとすると「この医療法人社団は黒人選手であるが食後酒でない」ということは成り立たない fact9: 「「あの薪炭は腫れ上がらない」ということは事実と異なる」ということは正しい fact10: もしその本件情報は食後酒でないとしたら「この医療法人社団は腫れ上がるし更に食後酒である」ということは誤りである fact11: この素っ気は食後酒でない fact12: この感染能力は対抗出来る fact13: もしこの感染能力が腫れ上がるとするとその本件情報は腫れ上がる fact14: その領分は食後酒でないがしかし歩み寄る fact15: もしもこの医療法人社団が纏め上げるとしたらその領分は黒人選手でない fact16: 「「この感染能力は腫れ上がらない」ということは事実と異なる」ということは正しい ; $hypothesis$ = この医療法人社団は黒人選手である一方で食後酒でない ; $proof$ = 
fact6 & fact2 -> int1: 「その領分は歩み寄るがしかし纏め上げない」ということは事実でない; int1 & fact1 -> int2: その本件情報は湛水しない; fact5 -> int3: もし「その本件情報は腫れ上がる」ということは正しいなら百文だ; fact13 & fact16 -> int4: その本件情報は腫れ上がる; int3 & int4 -> int5: その本件情報は百文だ; int2 & int5 -> int6: その本件情報は湛水しない一方でそれは百文だ; int6 & fact4 -> int7: この素っ気は逃れ難いということはない; int7 & fact3 -> int8: この施政権は食後酒だということはない; int8 & fact8 -> hypothesis; __DISPROVED__
事実1: もしも「その領分は歩み寄る一方で纏め上げない」ということは間違いだとしたらその本件情報は湛水しない
事実2: もしとある物は悲しいとすれば「その領分は歩み寄るがそれは纏め上げるということはない」ということは誤りだ
事実3: 仮にこの素っ気は逃れ難くないとすると「この施政権は食後酒でない」ということは偽でない
事実4: もし仮にその本件情報が湛水しないがしかし百文だとするとこの素っ気は逃れ難くない
事実5: もしもとあるものは腫れ上がるとすれば「それは百文だ」ということは成り立つ
事実6: 「悲しい」物はある
事実7: もしなにかは纏め上げるしその上歩み寄ればそれは悲しいということはない
事実8: もしもこの施政権は食後酒であるということはないとすると「この医療法人社団は黒人選手であるが食後酒でない」ということは成り立たない
事実9: 「「あの薪炭は腫れ上がらない」ということは事実と異なる」ということは正しい
事実10: もしその本件情報は食後酒でないとしたら「この医療法人社団は腫れ上がるし更に食後酒である」ということは誤りである
事実11: この素っ気は食後酒でない
事実12: この感染能力は対抗出来る
事実13: もしこの感染能力が腫れ上がるとするとその本件情報は腫れ上がる
事実14: その領分は食後酒でないがしかし歩み寄る
事実15: もしもこの医療法人社団が纏め上げるとしたらその領分は黒人選手でない
事実16: 「「この感染能力は腫れ上がらない」ということは事実と異なる」ということは正しい

仮説: この医療法人社団は黒人選手である一方で食後酒でない
1. 事実6と事実2から、推論1: "「その領分は歩み寄るがしかし纏め上げない」ということは事実でない"が導かれる
2. 推論1と事実1から、推論2: "その本件情報は湛水しない"が導かれる
3. 事実5から、推論3: "もし「その本件情報は腫れ上がる」ということは正しいなら百文だ"が導かれる
4. 事実13と事実16から、推論4: "その本件情報は腫れ上がる"が導かれる
5. 推論3と推論4から、推論5: "その本件情報は百文だ"が導かれる
6. 推論2と推論5から、推論6: "その本件情報は湛水しない一方でそれは百文だ"が導かれる
7. 推論6と事実4から、推論7: "この素っ気は逃れ難いということはない"が導かれる
8. 推論7と事実3から、推論8: "この施政権は食後酒だということはない"が導かれる
9. 推論8と事実8から、仮説が否定される

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