「あの化学受容体は放射線障害であるかまたは授産施設制度であるかもしくはどちらもだ」ということは成り立たない
fact1: そのフルスピードは手早い fact2: そのフルスピードは授産施設制度だ fact3: もしそのフルスピードが因り難いならあの化学受容体は好もしい fact4: 「その共同海損分担額は因り難い」ということは本当だ fact5: もしもあの化学受容体が人称だとしたらこの即身仏は放射線障害である fact6: 仮にあの化学受容体が因り難いとしたらそのフルスピードは好もしい fact7: 仮にそのフルスピードが授産施設制度だとしたらそれはエンゼルスである fact8: 仮にあの化学受容体が好もしいならばそれは授産施設制度である fact9: この即身仏が人称ならばそのフルスピードは因り難い fact10: この即身仏は因り難い fact11: この即身仏は人称である fact12: そのフルスピードは好もしい fact13: そのフルスピードが人称だとするとこの即身仏は因り難い
fact9 & fact11 -> int1: 「そのフルスピードは因り難い」ということは本当である; int1 & fact3 -> int2: あの化学受容体は好もしい; int2 & fact8 -> int3: あの化学受容体は授産施設制度である; int3 -> hypothesis;
$facts$ = fact1: そのフルスピードは手早い fact2: そのフルスピードは授産施設制度だ fact3: もしそのフルスピードが因り難いならあの化学受容体は好もしい fact4: 「その共同海損分担額は因り難い」ということは本当だ fact5: もしもあの化学受容体が人称だとしたらこの即身仏は放射線障害である fact6: 仮にあの化学受容体が因り難いとしたらそのフルスピードは好もしい fact7: 仮にそのフルスピードが授産施設制度だとしたらそれはエンゼルスである fact8: 仮にあの化学受容体が好もしいならばそれは授産施設制度である fact9: この即身仏が人称ならばそのフルスピードは因り難い fact10: この即身仏は因り難い fact11: この即身仏は人称である fact12: そのフルスピードは好もしい fact13: そのフルスピードが人称だとするとこの即身仏は因り難い ; $hypothesis$ = 「あの化学受容体は放射線障害であるかまたは授産施設制度であるかもしくはどちらもだ」ということは成り立たない ; $proof$ = 
fact9 & fact11 -> int1: 「そのフルスピードは因り難い」ということは本当である; int1 & fact3 -> int2: あの化学受容体は好もしい; int2 & fact8 -> int3: あの化学受容体は授産施設制度である; int3 -> hypothesis; __DISPROVED__
事実1: そのフルスピードは手早い
事実2: そのフルスピードは授産施設制度だ
事実3: もしそのフルスピードが因り難いならあの化学受容体は好もしい
事実4: 「その共同海損分担額は因り難い」ということは本当だ
事実5: もしもあの化学受容体が人称だとしたらこの即身仏は放射線障害である
事実6: 仮にあの化学受容体が因り難いとしたらそのフルスピードは好もしい
事実7: 仮にそのフルスピードが授産施設制度だとしたらそれはエンゼルスである
事実8: 仮にあの化学受容体が好もしいならばそれは授産施設制度である
事実9: この即身仏が人称ならばそのフルスピードは因り難い
事実10: この即身仏は因り難い
事実11: この即身仏は人称である
事実12: そのフルスピードは好もしい
事実13: そのフルスピードが人称だとするとこの即身仏は因り難い

仮説: 「あの化学受容体は放射線障害であるかまたは授産施設制度であるかもしくはどちらもだ」ということは成り立たない
1. 事実9と事実11から、推論1: "「そのフルスピードは因り難い」ということは本当である"が導かれる
2. 推論1と事実3から、推論2: "あの化学受容体は好もしい"が導かれる
3. 推論2と事実8から、推論3: "あの化学受容体は授産施設制度である"が導かれる
4. 推論3から、仮説が否定される

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