そのラミニンは螻蛄だ
fact1: それは見窄らしいということはないがしかし灌漑であるというものはない fact2: 「あの創作方法は壊れ難くないしまた注意深くない」ということは嘘だとしたらあの居住地は恐ろしい fact3: もし仮に「あの幽閉は見窄らしくないがそれは灌漑だ」ということは嘘だとすれば壊れ難い fact4: 「あの幽閉は見窄らしいし更にそれは灌漑だ」ということは間違っている fact5: 「注意深くない」物があるならそのラミニンは恐ろしくないかそれは壊れ難いということはない fact6: もし「あの幽閉は壊れ難くない」ということは間違いであるとしたら「あの創作方法は壊れ難いけど注意深くない」ということは事実と異なる fact7: あの居住地は照れ臭い fact8: そのラミニンが注意深くないとしたらあの居住地は恐ろしくないけれど壊れ難い fact9: もし仮にあの幽閉は壊れ難いとすると「あの創作方法は壊れ難くないししかも注意深くない」ということは間違っている fact10: 仮にあの創作方法が壊れ難いとすればあの居住地は恐ろしい fact11: 「あの創作方法は壊れ難い物であって注意深くない」ということは事実と異なる fact12: もしあの幽閉が見窄らしいなら壊れ難い fact13: あの居住地は照れ臭いし大書する fact14: もしもあの創作方法は大書しないけど下落すればそれは注意深くない fact15: もしも「何らかの物は免れ難い」ということは確かであるなら螻蛄である fact16: 仮に免れ難いものがあるとするとこの赤字国債は下落しない fact17: 「「免れ難い」ということは本当である」ものはある fact18: 仮にあの居住地が恐ろしいしそれが大書するとすれば下落するということはない fact19: 仮にあの居住地が下落するということはないとするとそのラミニンは免れ難い fact20: 見窄らしいしその上灌漑であるというものはない fact21: もし仮に恐ろしくないものが壊れ難いならあの創作方法は寄せる fact22: 仮になにかは免れ難いならそれは大書しないし下落する
fact1 -> int1: 「あの幽閉は見窄らしいということはないけれど灌漑だ」ということは偽だ; int1 & fact3 -> int2: あの幽閉は壊れ難い; int2 & fact9 -> int3: 「「あの創作方法は壊れ難くないし注意深くない」ということは成り立つ」ということは成り立つということはない; int3 & fact2 -> int4: 「あの居住地は恐ろしい」ということは成り立つ; fact13 -> int5: あの居住地は大書する; int4 & int5 -> int6: あの居住地は恐ろしくてかつ大書する; int6 & fact18 -> int7: あの居住地は下落しない; int7 & fact19 -> int8: そのラミニンは免れ難い; fact15 -> int9: そのラミニンが免れ難いとしたら螻蛄である; int8 & int9 -> hypothesis;
そのラミニンは螻蛄であるということはない
fact25 -> int10: もし仮にあの創作方法が免れ難いとしたらそれは大書しないけど下落する;
$facts$ = fact1: それは見窄らしいということはないがしかし灌漑であるというものはない fact2: 「あの創作方法は壊れ難くないしまた注意深くない」ということは嘘だとしたらあの居住地は恐ろしい fact3: もし仮に「あの幽閉は見窄らしくないがそれは灌漑だ」ということは嘘だとすれば壊れ難い fact4: 「あの幽閉は見窄らしいし更にそれは灌漑だ」ということは間違っている fact5: 「注意深くない」物があるならそのラミニンは恐ろしくないかそれは壊れ難いということはない fact6: もし「あの幽閉は壊れ難くない」ということは間違いであるとしたら「あの創作方法は壊れ難いけど注意深くない」ということは事実と異なる fact7: あの居住地は照れ臭い fact8: そのラミニンが注意深くないとしたらあの居住地は恐ろしくないけれど壊れ難い fact9: もし仮にあの幽閉は壊れ難いとすると「あの創作方法は壊れ難くないししかも注意深くない」ということは間違っている fact10: 仮にあの創作方法が壊れ難いとすればあの居住地は恐ろしい fact11: 「あの創作方法は壊れ難い物であって注意深くない」ということは事実と異なる fact12: もしあの幽閉が見窄らしいなら壊れ難い fact13: あの居住地は照れ臭いし大書する fact14: もしもあの創作方法は大書しないけど下落すればそれは注意深くない fact15: もしも「何らかの物は免れ難い」ということは確かであるなら螻蛄である fact16: 仮に免れ難いものがあるとするとこの赤字国債は下落しない fact17: 「「免れ難い」ということは本当である」ものはある fact18: 仮にあの居住地が恐ろしいしそれが大書するとすれば下落するということはない fact19: 仮にあの居住地が下落するということはないとするとそのラミニンは免れ難い fact20: 見窄らしいしその上灌漑であるというものはない fact21: もし仮に恐ろしくないものが壊れ難いならあの創作方法は寄せる fact22: 仮になにかは免れ難いならそれは大書しないし下落する ; $hypothesis$ = そのラミニンは螻蛄だ ; $proof$ = 
fact1 -> int1: 「あの幽閉は見窄らしいということはないけれど灌漑だ」ということは偽だ; int1 & fact3 -> int2: あの幽閉は壊れ難い; int2 & fact9 -> int3: 「「あの創作方法は壊れ難くないし注意深くない」ということは成り立つ」ということは成り立つということはない; int3 & fact2 -> int4: 「あの居住地は恐ろしい」ということは成り立つ; fact13 -> int5: あの居住地は大書する; int4 & int5 -> int6: あの居住地は恐ろしくてかつ大書する; int6 & fact18 -> int7: あの居住地は下落しない; int7 & fact19 -> int8: そのラミニンは免れ難い; fact15 -> int9: そのラミニンが免れ難いとしたら螻蛄である; int8 & int9 -> hypothesis; __PROVED__
事実1: それは見窄らしいということはないがしかし灌漑であるというものはない
事実2: 「あの創作方法は壊れ難くないしまた注意深くない」ということは嘘だとしたらあの居住地は恐ろしい
事実3: もし仮に「あの幽閉は見窄らしくないがそれは灌漑だ」ということは嘘だとすれば壊れ難い
事実4: 「あの幽閉は見窄らしいし更にそれは灌漑だ」ということは間違っている
事実5: 「注意深くない」物があるならそのラミニンは恐ろしくないかそれは壊れ難いということはない
事実6: もし「あの幽閉は壊れ難くない」ということは間違いであるとしたら「あの創作方法は壊れ難いけど注意深くない」ということは事実と異なる
事実7: あの居住地は照れ臭い
事実8: そのラミニンが注意深くないとしたらあの居住地は恐ろしくないけれど壊れ難い
事実9: もし仮にあの幽閉は壊れ難いとすると「あの創作方法は壊れ難くないししかも注意深くない」ということは間違っている
事実10: 仮にあの創作方法が壊れ難いとすればあの居住地は恐ろしい
事実11: 「あの創作方法は壊れ難い物であって注意深くない」ということは事実と異なる
事実12: もしあの幽閉が見窄らしいなら壊れ難い
事実13: あの居住地は照れ臭いし大書する
事実14: もしもあの創作方法は大書しないけど下落すればそれは注意深くない
事実15: もしも「何らかの物は免れ難い」ということは確かであるなら螻蛄である
事実16: 仮に免れ難いものがあるとするとこの赤字国債は下落しない
事実17: 「「免れ難い」ということは本当である」ものはある
事実18: 仮にあの居住地が恐ろしいしそれが大書するとすれば下落するということはない
事実19: 仮にあの居住地が下落するということはないとするとそのラミニンは免れ難い
事実20: 見窄らしいしその上灌漑であるというものはない
事実21: もし仮に恐ろしくないものが壊れ難いならあの創作方法は寄せる
事実22: 仮になにかは免れ難いならそれは大書しないし下落する

仮説: そのラミニンは螻蛄だ
1. 事実1から、推論1: "「あの幽閉は見窄らしいということはないけれど灌漑だ」ということは偽だ"が導かれる
2. 推論1と事実3から、推論2: "あの幽閉は壊れ難い"が導かれる
3. 推論2と事実9から、推論3: "「「あの創作方法は壊れ難くないし注意深くない」ということは成り立つ」ということは成り立つということはない"が導かれる
4. 推論3と事実2から、推論4: "「あの居住地は恐ろしい」ということは成り立つ"が導かれる
5. 事実13から、推論5: "あの居住地は大書する"が導かれる
6. 推論4と推論5から、推論6: "あの居住地は恐ろしくてかつ大書する"が導かれる
7. 推論6と事実18から、推論7: "あの居住地は下落しない"が導かれる
8. 推論7と事実19から、推論8: "そのラミニンは免れ難い"が導かれる
9. 事実15から、推論9: "そのラミニンが免れ難いとしたら螻蛄である"が導かれる
10. 推論8と推論9から、仮説が導かれる

よって、仮説が証明されました。