その紙ナプキンは退色し易い
fact1: その紙ナプキンは社会党系だ fact2: その内臓感覚は浸り切る fact3: もしもあのストロングマンが加重平均するとすればあの内臓感覚は味わい深い fact4: もし仮に「御持ち帰り下さるししかも浸り切る」ものがあるならその紙ナプキンは青い fact5: 「青くて加重平均する」物はある fact6: 「その紙ナプキンは社会党系でない一方でそれは向かい合う」ということは間違っている fact7: 「あのストロングマンは向かい合わないけど味わい深い」ということは誤っている fact8: 仮にその内臓感覚が味わい深いならあのストロングマンは向かい合う fact9: もしその内臓感覚が浸り切らないならばその紙ナプキンは退色し易くておまけに加重平均する fact10: 「その内臓感覚は加重平均する」ということは事実である fact11: もし仮に青いものは社会党系であるとしたら退色し易くない fact12: もし「あのストロングマンは向かい合わないけれど味わい深い」ということは嘘だとすれば御持ち帰り下さる fact13: 仮にその内臓感覚が加重平均するならあのストロングマンは浸り切る
fact13 & fact10 -> int1: 「あのストロングマンは浸り切る」ということは正しい; fact7 & fact12 -> int2: あのストロングマンは御持ち帰り下さる; int1 & int2 -> int3: あのストロングマンは御持ち帰り下さるし加えてそれは浸り切る; int3 -> int4: 何かは御持ち帰り下さるし更に浸り切る; int4 & fact4 -> int5: その紙ナプキンは青い; int5 & fact1 -> int6: その紙ナプキンは青いしさらに社会党系だ; fact11 -> int7: もし仮にその紙ナプキンが青くて社会党系なら「それは退色し易くない」ということは間違いでない; int6 & int7 -> hypothesis;
その紙ナプキンは退色し易い
$facts$ = fact1: その紙ナプキンは社会党系だ fact2: その内臓感覚は浸り切る fact3: もしもあのストロングマンが加重平均するとすればあの内臓感覚は味わい深い fact4: もし仮に「御持ち帰り下さるししかも浸り切る」ものがあるならその紙ナプキンは青い fact5: 「青くて加重平均する」物はある fact6: 「その紙ナプキンは社会党系でない一方でそれは向かい合う」ということは間違っている fact7: 「あのストロングマンは向かい合わないけど味わい深い」ということは誤っている fact8: 仮にその内臓感覚が味わい深いならあのストロングマンは向かい合う fact9: もしその内臓感覚が浸り切らないならばその紙ナプキンは退色し易くておまけに加重平均する fact10: 「その内臓感覚は加重平均する」ということは事実である fact11: もし仮に青いものは社会党系であるとしたら退色し易くない fact12: もし「あのストロングマンは向かい合わないけれど味わい深い」ということは嘘だとすれば御持ち帰り下さる fact13: 仮にその内臓感覚が加重平均するならあのストロングマンは浸り切る ; $hypothesis$ = その紙ナプキンは退色し易い ; $proof$ = 
fact13 & fact10 -> int1: 「あのストロングマンは浸り切る」ということは正しい; fact7 & fact12 -> int2: あのストロングマンは御持ち帰り下さる; int1 & int2 -> int3: あのストロングマンは御持ち帰り下さるし加えてそれは浸り切る; int3 -> int4: 何かは御持ち帰り下さるし更に浸り切る; int4 & fact4 -> int5: その紙ナプキンは青い; int5 & fact1 -> int6: その紙ナプキンは青いしさらに社会党系だ; fact11 -> int7: もし仮にその紙ナプキンが青くて社会党系なら「それは退色し易くない」ということは間違いでない; int6 & int7 -> hypothesis; __DISPROVED__
事実1: その紙ナプキンは社会党系だ
事実2: その内臓感覚は浸り切る
事実3: もしもあのストロングマンが加重平均するとすればあの内臓感覚は味わい深い
事実4: もし仮に「御持ち帰り下さるししかも浸り切る」ものがあるならその紙ナプキンは青い
事実5: 「青くて加重平均する」物はある
事実6: 「その紙ナプキンは社会党系でない一方でそれは向かい合う」ということは間違っている
事実7: 「あのストロングマンは向かい合わないけど味わい深い」ということは誤っている
事実8: 仮にその内臓感覚が味わい深いならあのストロングマンは向かい合う
事実9: もしその内臓感覚が浸り切らないならばその紙ナプキンは退色し易くておまけに加重平均する
事実10: 「その内臓感覚は加重平均する」ということは事実である
事実11: もし仮に青いものは社会党系であるとしたら退色し易くない
事実12: もし「あのストロングマンは向かい合わないけれど味わい深い」ということは嘘だとすれば御持ち帰り下さる
事実13: 仮にその内臓感覚が加重平均するならあのストロングマンは浸り切る

仮説: その紙ナプキンは退色し易い
1. 事実13と事実10から、推論1: "「あのストロングマンは浸り切る」ということは正しい"が導かれる
2. 事実7と事実12から、推論2: "あのストロングマンは御持ち帰り下さる"が導かれる
3. 推論1と推論2から、推論3: "あのストロングマンは御持ち帰り下さるし加えてそれは浸り切る"が導かれる
4. 推論3から、推論4: "何かは御持ち帰り下さるし更に浸り切る"が導かれる
5. 推論4と事実4から、推論5: "その紙ナプキンは青い"が導かれる
6. 推論5と事実1から、推論6: "その紙ナプキンは青いしさらに社会党系だ"が導かれる
7. 事実11から、推論7: "もし仮にその紙ナプキンが青くて社会党系なら「それは退色し易くない」ということは間違いでない"が導かれる
8. 推論6と推論7から、仮説が否定される

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