「もしあのＸ線写真がＡＢＧだとしたらその委任は染み入らないかまたは再販制度であるかあるいはどちらもだ」ということは成り立たない
fact1: もしも何かは集まり易いとしたら「ぱさつく」ということは真実だ fact2: その委任は減額しない fact3: もし仮にあのＸ線写真がぱさつけば描き易くない fact4: もし仮に「何らかの物はぱさつく」ということは事実ならそれは染み入らない fact5: ＡＢＧは集まり易いがしかし減額しない fact6: もしあのＸ線写真が染み入らないとするとその委任は染み入らないか再販制度であるかまたは両方だ
fact5 -> int1: 仮にあのＸ線写真がＡＢＧならそれは集まり易いけど減額しない; void -> assump1: 以下のように仮定する。あのＸ線写真はＡＢＧである; int1 & assump1 -> int2: あのＸ線写真は集まり易い一方で減額しない; int2 -> int3: あのＸ線写真は集まり易い; fact1 -> int4: あのＸ線写真が集まり易いとしたらそれはぱさつく; int3 & int4 -> int5: あのＸ線写真はぱさつく; fact4 -> int6: もし仮にあのＸ線写真がぱさつくとしたらそれは染み入らない; int5 & int6 -> int7: 「あのＸ線写真は染み入るということはない」ということは事実だ; int7 & fact6 -> int8: その委任は染み入らないかあるいは再販制度であるかあるいは両方だ; [assump1] & int8 -> hypothesis;
$facts$ = fact1: もしも何かは集まり易いとしたら「ぱさつく」ということは真実だ fact2: その委任は減額しない fact3: もし仮にあのＸ線写真がぱさつけば描き易くない fact4: もし仮に「何らかの物はぱさつく」ということは事実ならそれは染み入らない fact5: ＡＢＧは集まり易いがしかし減額しない fact6: もしあのＸ線写真が染み入らないとするとその委任は染み入らないか再販制度であるかまたは両方だ ; $hypothesis$ = 「もしあのＸ線写真がＡＢＧだとしたらその委任は染み入らないかまたは再販制度であるかあるいはどちらもだ」ということは成り立たない ; $proof$ = 
fact5 -> int1: 仮にあのＸ線写真がＡＢＧならそれは集まり易いけど減額しない; void -> assump1: 以下のように仮定する。あのＸ線写真はＡＢＧである; int1 & assump1 -> int2: あのＸ線写真は集まり易い一方で減額しない; int2 -> int3: あのＸ線写真は集まり易い; fact1 -> int4: あのＸ線写真が集まり易いとしたらそれはぱさつく; int3 & int4 -> int5: あのＸ線写真はぱさつく; fact4 -> int6: もし仮にあのＸ線写真がぱさつくとしたらそれは染み入らない; int5 & int6 -> int7: 「あのＸ線写真は染み入るということはない」ということは事実だ; int7 & fact6 -> int8: その委任は染み入らないかあるいは再販制度であるかあるいは両方だ; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: もしも何かは集まり易いとしたら「ぱさつく」ということは真実だ
事実2: その委任は減額しない
事実3: もし仮にあのＸ線写真がぱさつけば描き易くない
事実4: もし仮に「何らかの物はぱさつく」ということは事実ならそれは染み入らない
事実5: ＡＢＧは集まり易いがしかし減額しない
事実6: もしあのＸ線写真が染み入らないとするとその委任は染み入らないか再販制度であるかまたは両方だ

仮説: 「もしあのＸ線写真がＡＢＧだとしたらその委任は染み入らないかまたは再販制度であるかあるいはどちらもだ」ということは成り立たない
1. 事実5から、推論1: "仮にあのＸ線写真がＡＢＧならそれは集まり易いけど減額しない"が導かれる
2. 仮定1: 以下のように仮定する。あのＸ線写真はＡＢＧである
3. 推論1と仮定1から、推論2: "あのＸ線写真は集まり易い一方で減額しない"が導かれる
4. 推論2から、推論3: "あのＸ線写真は集まり易い"が導かれる
5. 事実1から、推論4: "あのＸ線写真が集まり易いとしたらそれはぱさつく"が導かれる
6. 推論3と推論4から、推論5: "あのＸ線写真はぱさつく"が導かれる
7. 事実4から、推論6: "もし仮にあのＸ線写真がぱさつくとしたらそれは染み入らない"が導かれる
8. 推論5と推論6から、推論7: "「あのＸ線写真は染み入るということはない」ということは事実だ"が導かれる
9. 推論7と事実6から、推論8: "その委任は染み入らないかあるいは再販制度であるかあるいは両方だ"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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