「もしその中村城が騙し絵ならこのドラムセットは編目状である」ということは誤りだ
fact1: この糧が伝播するとするとその患者血清中は蓄積され易い fact2: もし仮に何かは旅客ターミナルならばその中村城は述べ上げるしおまけに編目状である fact3: もし「この糧は騙し絵だ」ということは真実であるなら「その中村城は伝播する」ということは真実だ fact4: もし仮になにがしかの物は編目状でないなら蓄積され易くないが述べ上げる fact5: 「その中村城は旅客ターミナルでないけどそれは丸い」ということは成り立たない fact6: もしも「述べ上げる」物があるとするとこの弥生は蓄積され易いということはない fact7: その患者血清中は蓄積され易いとすると「この縫製品は述べ上げる」ということは真実だ fact8: もし「このドラムセットは伝播する」ということは真実であるとするとこの糧は編目状だ fact9: 蓄積され易くない物は伝播するし騙し絵である fact10: この糧は騙し絵だ fact11: この糧は旅客ターミナルである fact12: 「この縫製品は述べ上げる」ということは真実であるとしたらこのドラムセットは編目状だ fact13: もし仮にその中村城が騙し絵だとしたらこの糧は伝播する
void -> assump1: 以下のように仮定する。その中村城は騙し絵である; fact13 & assump1 -> int1: 「この糧は伝播するということはない」ということは誤りだ; int1 & fact1 -> int2: 「その患者血清中は蓄積され易い」ということは成り立つ; int2 & fact7 -> int3: この縫製品は述べ上げる; int3 & fact12 -> int4: このドラムセットは編目状である; [assump1] & int4 -> hypothesis;
この弥生は伝播する
fact16 -> int5: 「旅客ターミナルな」ものはある; int5 & fact14 -> int6: その中村城は述べ上げるしかつそれは編目状だ; int6 -> int7: その中村城は述べ上げる; int7 -> int8: なんらかのものは述べ上げる; int8 & fact15 -> int9: この弥生は蓄積され易くない;
$facts$ = fact1: この糧が伝播するとするとその患者血清中は蓄積され易い fact2: もし仮に何かは旅客ターミナルならばその中村城は述べ上げるしおまけに編目状である fact3: もし「この糧は騙し絵だ」ということは真実であるなら「その中村城は伝播する」ということは真実だ fact4: もし仮になにがしかの物は編目状でないなら蓄積され易くないが述べ上げる fact5: 「その中村城は旅客ターミナルでないけどそれは丸い」ということは成り立たない fact6: もしも「述べ上げる」物があるとするとこの弥生は蓄積され易いということはない fact7: その患者血清中は蓄積され易いとすると「この縫製品は述べ上げる」ということは真実だ fact8: もし「このドラムセットは伝播する」ということは真実であるとするとこの糧は編目状だ fact9: 蓄積され易くない物は伝播するし騙し絵である fact10: この糧は騙し絵だ fact11: この糧は旅客ターミナルである fact12: 「この縫製品は述べ上げる」ということは真実であるとしたらこのドラムセットは編目状だ fact13: もし仮にその中村城が騙し絵だとしたらこの糧は伝播する ; $hypothesis$ = 「もしその中村城が騙し絵ならこのドラムセットは編目状である」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その中村城は騙し絵である; fact13 & assump1 -> int1: 「この糧は伝播するということはない」ということは誤りだ; int1 & fact1 -> int2: 「その患者血清中は蓄積され易い」ということは成り立つ; int2 & fact7 -> int3: この縫製品は述べ上げる; int3 & fact12 -> int4: このドラムセットは編目状である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: この糧が伝播するとするとその患者血清中は蓄積され易い
事実2: もし仮に何かは旅客ターミナルならばその中村城は述べ上げるしおまけに編目状である
事実3: もし「この糧は騙し絵だ」ということは真実であるなら「その中村城は伝播する」ということは真実だ
事実4: もし仮になにがしかの物は編目状でないなら蓄積され易くないが述べ上げる
事実5: 「その中村城は旅客ターミナルでないけどそれは丸い」ということは成り立たない
事実6: もしも「述べ上げる」物があるとするとこの弥生は蓄積され易いということはない
事実7: その患者血清中は蓄積され易いとすると「この縫製品は述べ上げる」ということは真実だ
事実8: もし「このドラムセットは伝播する」ということは真実であるとするとこの糧は編目状だ
事実9: 蓄積され易くない物は伝播するし騙し絵である
事実10: この糧は騙し絵だ
事実11: この糧は旅客ターミナルである
事実12: 「この縫製品は述べ上げる」ということは真実であるとしたらこのドラムセットは編目状だ
事実13: もし仮にその中村城が騙し絵だとしたらこの糧は伝播する

仮説: 「もしその中村城が騙し絵ならこのドラムセットは編目状である」ということは誤りだ
1. 仮定1: 以下のように仮定する。その中村城は騙し絵である
2. 事実13と仮定1から、推論1: "「この糧は伝播するということはない」ということは誤りだ"が導かれる
3. 推論1と事実1から、推論2: "「その患者血清中は蓄積され易い」ということは成り立つ"が導かれる
4. 推論2と事実7から、推論3: "この縫製品は述べ上げる"が導かれる
5. 推論3と事実12から、推論4: "このドラムセットは編目状である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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