このマグマは可笑しない
fact1: 仮になにかは打った切るとするとこのマグマは打った切るかあるいはそれは可笑し fact2: 「「来難いしその上拘束衣である」ということは誤りである」ものはある fact3: 「このマグマは打った切る」ということは成り立つとすればあの湯屋は可笑しない fact4: なにがしかのものは間近くないならば「気まずくないけれど打った切る」ということは事実と異なる fact5: もし仮にこのマグマが可笑しとしたらあの湯屋は可笑しない fact6: もしも「「来難いということはないがしかし拘束衣である」ということは誤っている」ものがあるとすればこのマグマは可笑し fact7: このマグマは拘束衣だ fact8: 「来難い」ものがあるならこのマグマは可笑し fact9: もしも何らかのものは写生だとすれば「形容し難いしその上それは呪わしくない」ということは成り立つということはない fact10: もしあの湯屋が築城するとしたらこの島津方は築城する fact11: 形容し難くない物は間近いしおまけに為替相場である fact12: 仮にこの島津方は気まずいならば「あの湯屋は来難くないけれど拘束衣である」ということは誤っている fact13: この島津方は気まずい fact14: あのＩＭＥツールバーは気まずい fact15: 「あの湯屋は来難くてかつ拘束衣である」ということは事実でない fact16: 「来難くないしかつ拘束衣である」ものはある fact17: もし仮にこの島津方は気まずいならば「あの湯屋は来難くてさらに拘束衣である」ということは嘘だ fact18: 可笑しないものは築城するし気まずい fact19: その小粒は写生であるしさらにそれはうざい fact20: もし仮にこのマグマは可笑しとすれば「この島津方は拘束衣でないがしかしそれは気まずい」ということは嘘だ fact21: 仮にあるものは間近いなら「それは打った切る」ということは真実だ fact22: 「「形容し難いが呪わしくない」ということは偽である」物があるとすればその感銘は形容し難くない fact23: 「「可笑しないししかも気まずい」ということは偽である」ものはある
fact12 & fact13 -> int1: 「あの湯屋は来難くない一方で拘束衣だ」ということは成り立つということはない; int1 -> int2: 「「来難くないし加えて拘束衣である」ということは間違っている」ものはある; int2 & fact6 -> hypothesis;
この島津方は築城する
fact25 -> int3: 仮にあの湯屋が可笑しないとすれば築城するし気まずい; fact30 -> int4: その感銘が間近いとすればそれは打った切る; fact29 -> int5: その感銘は形容し難くないとすればそれは間近いし為替相場だ; fact32 -> int6: もし「その小粒は写生である」ということは事実なら「形容し難いけど呪わしくない」ということは成り立たない; fact24 -> int7: その小粒は写生だ; int6 & int7 -> int8: 「「その小粒は形容し難いけれど呪わしくない」ということは本当だ」ということは誤りである; int8 -> int9: 「「形容し難くて呪わしくない」ということは成り立たない」物はある; int9 & fact27 -> int10: その感銘は形容し難くない; int5 & int10 -> int11: その感銘は間近いし為替相場である; int11 -> int12: その感銘は間近い; int4 & int12 -> int13: その感銘は打った切る; int13 -> int14: 「「打った切る」ということは本当である」物はある; int14 & fact33 -> int15: 「このマグマは打った切るかまたはそれは可笑しかまたはどちらもである」ということは誤りでない; int15 & fact31 & fact28 -> int16: あの湯屋は可笑しない; int3 & int16 -> int17: あの湯屋は築城するし加えて気まずい; int17 -> int18: あの湯屋は築城する; fact26 & int18 -> hypothesis;
$facts$ = fact1: 仮になにかは打った切るとするとこのマグマは打った切るかあるいはそれは可笑し fact2: 「「来難いしその上拘束衣である」ということは誤りである」ものはある fact3: 「このマグマは打った切る」ということは成り立つとすればあの湯屋は可笑しない fact4: なにがしかのものは間近くないならば「気まずくないけれど打った切る」ということは事実と異なる fact5: もし仮にこのマグマが可笑しとしたらあの湯屋は可笑しない fact6: もしも「「来難いということはないがしかし拘束衣である」ということは誤っている」ものがあるとすればこのマグマは可笑し fact7: このマグマは拘束衣だ fact8: 「来難い」ものがあるならこのマグマは可笑し fact9: もしも何らかのものは写生だとすれば「形容し難いしその上それは呪わしくない」ということは成り立つということはない fact10: もしあの湯屋が築城するとしたらこの島津方は築城する fact11: 形容し難くない物は間近いしおまけに為替相場である fact12: 仮にこの島津方は気まずいならば「あの湯屋は来難くないけれど拘束衣である」ということは誤っている fact13: この島津方は気まずい fact14: あのＩＭＥツールバーは気まずい fact15: 「あの湯屋は来難くてかつ拘束衣である」ということは事実でない fact16: 「来難くないしかつ拘束衣である」ものはある fact17: もし仮にこの島津方は気まずいならば「あの湯屋は来難くてさらに拘束衣である」ということは嘘だ fact18: 可笑しないものは築城するし気まずい fact19: その小粒は写生であるしさらにそれはうざい fact20: もし仮にこのマグマは可笑しとすれば「この島津方は拘束衣でないがしかしそれは気まずい」ということは嘘だ fact21: 仮にあるものは間近いなら「それは打った切る」ということは真実だ fact22: 「「形容し難いが呪わしくない」ということは偽である」物があるとすればその感銘は形容し難くない fact23: 「「可笑しないししかも気まずい」ということは偽である」ものはある ; $hypothesis$ = このマグマは可笑しない ; $proof$ = 
fact12 & fact13 -> int1: 「あの湯屋は来難くない一方で拘束衣だ」ということは成り立つということはない; int1 -> int2: 「「来難くないし加えて拘束衣である」ということは間違っている」ものはある; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮になにかは打った切るとするとこのマグマは打った切るかあるいはそれは可笑し
事実2: 「「来難いしその上拘束衣である」ということは誤りである」ものはある
事実3: 「このマグマは打った切る」ということは成り立つとすればあの湯屋は可笑しない
事実4: なにがしかのものは間近くないならば「気まずくないけれど打った切る」ということは事実と異なる
事実5: もし仮にこのマグマが可笑しとしたらあの湯屋は可笑しない
事実6: もしも「「来難いということはないがしかし拘束衣である」ということは誤っている」ものがあるとすればこのマグマは可笑し
事実7: このマグマは拘束衣だ
事実8: 「来難い」ものがあるならこのマグマは可笑し
事実9: もしも何らかのものは写生だとすれば「形容し難いしその上それは呪わしくない」ということは成り立つということはない
事実10: もしあの湯屋が築城するとしたらこの島津方は築城する
事実11: 形容し難くない物は間近いしおまけに為替相場である
事実12: 仮にこの島津方は気まずいならば「あの湯屋は来難くないけれど拘束衣である」ということは誤っている
事実13: この島津方は気まずい
事実14: あのＩＭＥツールバーは気まずい
事実15: 「あの湯屋は来難くてかつ拘束衣である」ということは事実でない
事実16: 「来難くないしかつ拘束衣である」ものはある
事実17: もし仮にこの島津方は気まずいならば「あの湯屋は来難くてさらに拘束衣である」ということは嘘だ
事実18: 可笑しないものは築城するし気まずい
事実19: その小粒は写生であるしさらにそれはうざい
事実20: もし仮にこのマグマは可笑しとすれば「この島津方は拘束衣でないがしかしそれは気まずい」ということは嘘だ
事実21: 仮にあるものは間近いなら「それは打った切る」ということは真実だ
事実22: 「「形容し難いが呪わしくない」ということは偽である」物があるとすればその感銘は形容し難くない
事実23: 「「可笑しないししかも気まずい」ということは偽である」ものはある

仮説: このマグマは可笑しない
1. 事実12と事実13から、推論1: "「あの湯屋は来難くない一方で拘束衣だ」ということは成り立つということはない"が導かれる
2. 推論1から、推論2: "「「来難くないし加えて拘束衣である」ということは間違っている」ものはある"が導かれる
3. 推論2と事実6から、仮説が否定される

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