この飛散は優先する
fact1: もし「なにがしかのものは点滴静注する」ということは確かだとすれば分かり易くない fact2: この飛散は分かり易くない fact3: 「その欠き氷は優先する」ということは誤りでないならこの飛散は若い fact4: もしもその否認が分かり易いならばこの飛散は受信感度だ fact5: もしその否認が受信感度だとしたらこの飛散は分かり易い fact6: その欠き氷が分かり易いということはないとしたらこの飛散は若いしそれは第二十八集だ fact7: 仮にその否認は分かり易いか第二十八集であるかもしくはどちらもだとすれば優先しない fact8: その欠き氷は優先する fact9: もし何らかの物が分かり易いならばそれは第二十八集でない fact10: この飛散は第二十八集である fact11: その欠き氷は若くてそれに第二十八集である fact12: その価格下落期は点滴静注する fact13: その欠き氷が若いとすればその否認は分かり易い fact14: その月明は優先する fact15: もし仮にある物が点滴静注するかまたは受信感度であるとしたらそれは優先するということはない
fact11 -> int1: その欠き氷は若い; int1 & fact13 -> int2: その否認は分かり易い; int2 & fact4 -> int3: この飛散は受信感度である; int3 -> int4: この飛散は点滴静注するかまたは受信感度であるかまたは両方である; fact15 -> int5: この飛散は点滴静注するかまたは受信感度なら「それは優先しない」ということは成り立つ; int4 & int5 -> hypothesis;
この飛散は優先する
$facts$ = fact1: もし「なにがしかのものは点滴静注する」ということは確かだとすれば分かり易くない fact2: この飛散は分かり易くない fact3: 「その欠き氷は優先する」ということは誤りでないならこの飛散は若い fact4: もしもその否認が分かり易いならばこの飛散は受信感度だ fact5: もしその否認が受信感度だとしたらこの飛散は分かり易い fact6: その欠き氷が分かり易いということはないとしたらこの飛散は若いしそれは第二十八集だ fact7: 仮にその否認は分かり易いか第二十八集であるかもしくはどちらもだとすれば優先しない fact8: その欠き氷は優先する fact9: もし何らかの物が分かり易いならばそれは第二十八集でない fact10: この飛散は第二十八集である fact11: その欠き氷は若くてそれに第二十八集である fact12: その価格下落期は点滴静注する fact13: その欠き氷が若いとすればその否認は分かり易い fact14: その月明は優先する fact15: もし仮にある物が点滴静注するかまたは受信感度であるとしたらそれは優先するということはない ; $hypothesis$ = この飛散は優先する ; $proof$ = 
fact11 -> int1: その欠き氷は若い; int1 & fact13 -> int2: その否認は分かり易い; int2 & fact4 -> int3: この飛散は受信感度である; int3 -> int4: この飛散は点滴静注するかまたは受信感度であるかまたは両方である; fact15 -> int5: この飛散は点滴静注するかまたは受信感度なら「それは優先しない」ということは成り立つ; int4 & int5 -> hypothesis; __DISPROVED__
事実1: もし「なにがしかのものは点滴静注する」ということは確かだとすれば分かり易くない
事実2: この飛散は分かり易くない
事実3: 「その欠き氷は優先する」ということは誤りでないならこの飛散は若い
事実4: もしもその否認が分かり易いならばこの飛散は受信感度だ
事実5: もしその否認が受信感度だとしたらこの飛散は分かり易い
事実6: その欠き氷が分かり易いということはないとしたらこの飛散は若いしそれは第二十八集だ
事実7: 仮にその否認は分かり易いか第二十八集であるかもしくはどちらもだとすれば優先しない
事実8: その欠き氷は優先する
事実9: もし何らかの物が分かり易いならばそれは第二十八集でない
事実10: この飛散は第二十八集である
事実11: その欠き氷は若くてそれに第二十八集である
事実12: その価格下落期は点滴静注する
事実13: その欠き氷が若いとすればその否認は分かり易い
事実14: その月明は優先する
事実15: もし仮にある物が点滴静注するかまたは受信感度であるとしたらそれは優先するということはない

仮説: この飛散は優先する
1. 事実11から、推論1: "その欠き氷は若い"が導かれる
2. 推論1と事実13から、推論2: "その否認は分かり易い"が導かれる
3. 推論2と事実4から、推論3: "この飛散は受信感度である"が導かれる
4. 推論3から、推論4: "この飛散は点滴静注するかまたは受信感度であるかまたは両方である"が導かれる
5. 事実15から、推論5: "この飛散は点滴静注するかまたは受信感度なら「それは優先しない」ということは成り立つ"が導かれる
6. 推論4と推論5から、仮説が否定される

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