「このＬＩＳＰは建設的討議だ」ということは成り立つ
fact1: この予土線が別件闇融資でないならこのＬＩＳＰは上前短冊である fact2: この予土線が歌姫だとしたらあの邦訳は参勤交代だ fact3: 仮にこの予土線が歌姫でないならこのＬＩＳＰは参勤交代だ fact4: 仮に「この予土線は上前短冊である」ということは真実だとすればあの邦訳は参勤交代だ fact5: 仮に「このＬＩＳＰは歌姫でない」ということは真実だとしたらこの予土線は建設的討議である fact6: このＬＩＳＰが迷い難くなくてＫ子でないならその外国人観光客は診断しない fact7: あの万別は版権売買であるかまたは父子家庭だ fact8: 仮にその人々全ては底鱈でないとしたらそれは満たさないがしかし合わせ易い fact9: 「仮に何かは上前短冊だとしたらこの予土線は歌姫であるかあるいは上前短冊であるかあるいはどちらもである」ということは成り立つ fact10: もしもこのＬＩＳＰは別件闇融資であるとしたら建設的討議でない fact11: 仮にその人々全てが満たすということはないとしたらこのＬＩＳＰは迷い難くなくてＫ子だということはない fact12: このＬＩＳＰが参勤交代であるかあるいは別件闇融資ならそれは建設的討議でない fact13: もしあるものが診断しないならばそれは別件闇融資であるし更に建設的討議である fact14: もしこの予土線が上前短冊でないとするとこのＬＩＳＰは参勤交代である fact15: 別件闇融資は上前短冊だ fact16: この予土線は別件闇融資でないかもしくは歌姫でないかもしくは両方である fact17: 「この予土線は先導する」ということは確かだ fact18: 「その人々全ては貪り食わない一方で底鱈である」ということは間違いだ fact19: この予土線は歌姫であるということはないかそれは上前短冊でないかもしくはどちらもだ fact20: もし仮に「あるものは貪り食わない一方で底鱈である」ということは間違いならば底鱈でない
fact19 & fact3 & fact14 -> int1: このＬＩＳＰは参勤交代である; int1 -> int2: このＬＩＳＰは参勤交代であるかまたはそれは別件闇融資であるかもしくはどちらもだ; int2 & fact12 -> hypothesis;
あの邦訳は参勤交代であるかあるいは眩いかもしくは両方である
fact30 -> int3: 仮にその外国人観光客は別件闇融資であるならばそれは上前短冊だ; fact25 -> int4: その外国人観光客が診断しないならそれは別件闇融資であるし加えて建設的討議だ; fact24 -> int5: 「その人々全ては貪り食わないがしかし底鱈である」ということは誤りであるならば底鱈だということはない; int5 & fact29 -> int6: その人々全ては底鱈でない; fact21 & int6 -> int7: その人々全ては満たさないけれど合わせ易い; int7 -> int8: その人々全ては満たさない; fact22 & int8 -> int9: このＬＩＳＰは迷い難くないしその上それはＫ子でない; fact23 & int9 -> int10: その外国人観光客は診断しない; int4 & int10 -> int11: その外国人観光客は別件闇融資であるし更に建設的討議だ; int11 -> int12: その外国人観光客は別件闇融資である; int3 & int12 -> int13: その外国人観光客は上前短冊である; int13 -> int14: ある物は上前短冊である; int14 & fact28 -> int15: この予土線は歌姫であるか上前短冊であるかもしくは両方である; int15 & fact26 & fact27 -> int16: あの邦訳は参勤交代である; int16 -> hypothesis;
$facts$ = fact1: この予土線が別件闇融資でないならこのＬＩＳＰは上前短冊である fact2: この予土線が歌姫だとしたらあの邦訳は参勤交代だ fact3: 仮にこの予土線が歌姫でないならこのＬＩＳＰは参勤交代だ fact4: 仮に「この予土線は上前短冊である」ということは真実だとすればあの邦訳は参勤交代だ fact5: 仮に「このＬＩＳＰは歌姫でない」ということは真実だとしたらこの予土線は建設的討議である fact6: このＬＩＳＰが迷い難くなくてＫ子でないならその外国人観光客は診断しない fact7: あの万別は版権売買であるかまたは父子家庭だ fact8: 仮にその人々全ては底鱈でないとしたらそれは満たさないがしかし合わせ易い fact9: 「仮に何かは上前短冊だとしたらこの予土線は歌姫であるかあるいは上前短冊であるかあるいはどちらもである」ということは成り立つ fact10: もしもこのＬＩＳＰは別件闇融資であるとしたら建設的討議でない fact11: 仮にその人々全てが満たすということはないとしたらこのＬＩＳＰは迷い難くなくてＫ子だということはない fact12: このＬＩＳＰが参勤交代であるかあるいは別件闇融資ならそれは建設的討議でない fact13: もしあるものが診断しないならばそれは別件闇融資であるし更に建設的討議である fact14: もしこの予土線が上前短冊でないとするとこのＬＩＳＰは参勤交代である fact15: 別件闇融資は上前短冊だ fact16: この予土線は別件闇融資でないかもしくは歌姫でないかもしくは両方である fact17: 「この予土線は先導する」ということは確かだ fact18: 「その人々全ては貪り食わない一方で底鱈である」ということは間違いだ fact19: この予土線は歌姫であるということはないかそれは上前短冊でないかもしくはどちらもだ fact20: もし仮に「あるものは貪り食わない一方で底鱈である」ということは間違いならば底鱈でない ; $hypothesis$ = 「このＬＩＳＰは建設的討議だ」ということは成り立つ ; $proof$ = 
fact19 & fact3 & fact14 -> int1: このＬＩＳＰは参勤交代である; int1 -> int2: このＬＩＳＰは参勤交代であるかまたはそれは別件闇融資であるかもしくはどちらもだ; int2 & fact12 -> hypothesis; __DISPROVED__
事実1: この予土線が別件闇融資でないならこのＬＩＳＰは上前短冊である
事実2: この予土線が歌姫だとしたらあの邦訳は参勤交代だ
事実3: 仮にこの予土線が歌姫でないならこのＬＩＳＰは参勤交代だ
事実4: 仮に「この予土線は上前短冊である」ということは真実だとすればあの邦訳は参勤交代だ
事実5: 仮に「このＬＩＳＰは歌姫でない」ということは真実だとしたらこの予土線は建設的討議である
事実6: このＬＩＳＰが迷い難くなくてＫ子でないならその外国人観光客は診断しない
事実7: あの万別は版権売買であるかまたは父子家庭だ
事実8: 仮にその人々全ては底鱈でないとしたらそれは満たさないがしかし合わせ易い
事実9: 「仮に何かは上前短冊だとしたらこの予土線は歌姫であるかあるいは上前短冊であるかあるいはどちらもである」ということは成り立つ
事実10: もしもこのＬＩＳＰは別件闇融資であるとしたら建設的討議でない
事実11: 仮にその人々全てが満たすということはないとしたらこのＬＩＳＰは迷い難くなくてＫ子だということはない
事実12: このＬＩＳＰが参勤交代であるかあるいは別件闇融資ならそれは建設的討議でない
事実13: もしあるものが診断しないならばそれは別件闇融資であるし更に建設的討議である
事実14: もしこの予土線が上前短冊でないとするとこのＬＩＳＰは参勤交代である
事実15: 別件闇融資は上前短冊だ
事実16: この予土線は別件闇融資でないかもしくは歌姫でないかもしくは両方である
事実17: 「この予土線は先導する」ということは確かだ
事実18: 「その人々全ては貪り食わない一方で底鱈である」ということは間違いだ
事実19: この予土線は歌姫であるということはないかそれは上前短冊でないかもしくはどちらもだ
事実20: もし仮に「あるものは貪り食わない一方で底鱈である」ということは間違いならば底鱈でない

仮説: 「このＬＩＳＰは建設的討議だ」ということは成り立つ
1. 事実19と事実3と事実14から、推論1: "このＬＩＳＰは参勤交代である"が導かれる
2. 推論1から、推論2: "このＬＩＳＰは参勤交代であるかまたはそれは別件闇融資であるかもしくはどちらもだ"が導かれる
3. 推論2と事実12から、仮説が否定される

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