「「この徴収は追随するかまたは味気ない」ということは成り立つ」ということは偽である
fact1: 仮にとある物が追随するとしたらこの徴収は味気ない fact2: この徴収は超現実であるか掛け渡すか両方ともである fact3: 「静養する」ものはある fact4: もしも銀行間決済メカニズムがあるとすればその行揃えは憤懣である fact5: 何かは歯痒い fact6: 「見辛い」物はある fact7: 仮に「味気ない」ものがあるとしたらこの徴収は追随する fact8: なにがしかの物はＷＨＯでないとすると「追随するかあるいは味気ないかどちらもである」ということは誤りだ fact9: 「何かは繋がり得る」ということは成り立つ fact10: 何かは生体組織である fact11: 仮に「ＷＨＯである」物があるとしたらこの徴収は追随する fact12: この世界貿易センタービルは生み難いかそれは生存者だ fact13: 「ＷＨＯである」ものはある fact14: あの百首歌は淡紅色だ fact15: この徴収は当たり難い
fact13 & fact11 -> int1: この徴収は追随する; int1 -> hypothesis;
「この徴収は追随するかまたはそれは味気ないかあるいは両方ともである」ということは嘘である
fact16 -> int2: もし仮にこの徴収はＷＨＯでないとすると「それは追随するかあるいは味気ない」ということは嘘である;
$facts$ = fact1: 仮にとある物が追随するとしたらこの徴収は味気ない fact2: この徴収は超現実であるか掛け渡すか両方ともである fact3: 「静養する」ものはある fact4: もしも銀行間決済メカニズムがあるとすればその行揃えは憤懣である fact5: 何かは歯痒い fact6: 「見辛い」物はある fact7: 仮に「味気ない」ものがあるとしたらこの徴収は追随する fact8: なにがしかの物はＷＨＯでないとすると「追随するかあるいは味気ないかどちらもである」ということは誤りだ fact9: 「何かは繋がり得る」ということは成り立つ fact10: 何かは生体組織である fact11: 仮に「ＷＨＯである」物があるとしたらこの徴収は追随する fact12: この世界貿易センタービルは生み難いかそれは生存者だ fact13: 「ＷＨＯである」ものはある fact14: あの百首歌は淡紅色だ fact15: この徴収は当たり難い ; $hypothesis$ = 「「この徴収は追随するかまたは味気ない」ということは成り立つ」ということは偽である ; $proof$ = 
fact13 & fact11 -> int1: この徴収は追随する; int1 -> hypothesis; __DISPROVED__
事実1: 仮にとある物が追随するとしたらこの徴収は味気ない
事実2: この徴収は超現実であるか掛け渡すか両方ともである
事実3: 「静養する」ものはある
事実4: もしも銀行間決済メカニズムがあるとすればその行揃えは憤懣である
事実5: 何かは歯痒い
事実6: 「見辛い」物はある
事実7: 仮に「味気ない」ものがあるとしたらこの徴収は追随する
事実8: なにがしかの物はＷＨＯでないとすると「追随するかあるいは味気ないかどちらもである」ということは誤りだ
事実9: 「何かは繋がり得る」ということは成り立つ
事実10: 何かは生体組織である
事実11: 仮に「ＷＨＯである」物があるとしたらこの徴収は追随する
事実12: この世界貿易センタービルは生み難いかそれは生存者だ
事実13: 「ＷＨＯである」ものはある
事実14: あの百首歌は淡紅色だ
事実15: この徴収は当たり難い

仮説: 「「この徴収は追随するかまたは味気ない」ということは成り立つ」ということは偽である
1. 事実13と事実11から、推論1: "この徴収は追随する"が導かれる
2. 推論1から、仮説が否定される

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