あの曲率半径Ｒは鬱陶しかなくてまた命ぜない
fact1: 仮に紅雨荘があればあのストレッチ素材は女の子らしくないしまた取れ易くない fact2: 仮にこの雌雄異体は連想し易いということはないなら「この牛追いは御顔するしまた白血病だ」ということは事実と異なる fact3: もしこのコンストラクターズ・ポイントは改行文字であるとすれば「この定義は気怠くらないかあるいはそれは行き易いない」ということは成り立たない fact4: 行き易い物は気怠い fact5: もしも「あの情報満載は緩い一方でそれは行き易いない」ということは間違っているならこの雌雄異体は緩い fact6: あの情報満載は大統領選挙であるということはないとすると「それは行き易いかもしくは改行文字であるかあるいはどちらもだ」ということは正しい fact7: もしも女の子らしくない物が取れ易いということはないとすると大統領選挙だ fact8: この牛追いが信者さんだとするとこの雌雄異体は長ずる fact9: もし仮に「緩いということはない」ものがあるとすればあの申し立て手続きは壁であるかもしくはそれは信者さんであるかまたはどちらもだ fact10: 「あの情報満載は緩いけれど行き易くない」ということは成り立たない fact11: もしもこの牛追いが連想し易いならばこの雌雄異体は鬱陶しい fact12: もし仮にあの曲率半径Ｒは緩くないとすれば「それが信者さんだしおまけにそれは壁だ」ということは成り立たない fact13: もし仮にとあるものは緩くて信者さんであるなら壁でない fact14: この申し立て手続きは改行文字でない fact15: もしこの申し立て手続きが改行文字でないとすれば長ずるし気怠い fact16: 仮にこの雌雄異体が鬱陶しいならこの申し立て手続きは鬱陶しい fact17: 「もしも「「この牛追いは御顔するしそれに白血病だ」ということは嘘だ」ということは確かであるとしたらこの申し立て手続きは長ぜない」ということは真実である fact18: 連想し易い物は鬱陶しかなくて命ぜない fact19: とあるものが連想し易いならばそれは信者さんである fact20: あの情報満載は大統領選挙でない fact21: 仮に「あの曲率半径Ｒは信者さんであるしそれは壁である」ということは間違っているとするとこの牛追いは信者さんでない fact22: この申し立て手続きが壁ならばこの牛追いは信者さんだ fact23: 「その道術は紅雨荘である」ということは成り立つ fact24: もしも「この雌雄異体は壁である」ということは成り立つということはないならば「あの曲率半径Ｒは鬱陶しかないし更にそれは命ずるということはない」ということは本当でない fact25: もしあのストレッチ素材は大統領選挙であるとしたら「このコンストラクターズ・ポイントは改行文字である」ということは確かである fact26: この雌雄異体が長ずるとすればあの曲率半径Ｒは連想し易い fact27: あの情報満載は命ずる
void -> assump1: 以下のように仮定する。この雌雄異体は連想し易くない; fact2 & assump1 -> int1: 「「この牛追いは御顔するししかも白血病だ」ということは確かでない」ということは成り立つ; int1 & fact17 -> int2: この申し立て手続きは長ぜない; fact15 & fact14 -> int3: この申し立て手続きは長ずるし気怠い; int3 -> int4: この申し立て手続きは長ずる; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この雌雄異体は連想し易い」ということは成り立つ; fact19 -> int7: もしこの雌雄異体が連想し易いならそれは信者さんだ; int6 & int7 -> int8: この雌雄異体は信者さんだ; fact10 & fact5 -> int9: この雌雄異体は緩い; int8 & int9 -> int10: この雌雄異体は緩くておまけに信者さんである; fact13 -> int11: 仮にこの雌雄異体は緩い物で加えて信者さんであるとすれば壁でない; int10 & int11 -> int12: この雌雄異体は壁でない; int12 & fact24 -> hypothesis;
この申し立て手続きは鬱陶しい
fact30 & fact32 -> int13: あの情報満載は行き易いかまたは改行文字であるかどちらもである; fact31 -> int14: 仮にあの情報満載が行き易いとすればそれは気怠い;
$facts$ = fact1: 仮に紅雨荘があればあのストレッチ素材は女の子らしくないしまた取れ易くない fact2: 仮にこの雌雄異体は連想し易いということはないなら「この牛追いは御顔するしまた白血病だ」ということは事実と異なる fact3: もしこのコンストラクターズ・ポイントは改行文字であるとすれば「この定義は気怠くらないかあるいはそれは行き易いない」ということは成り立たない fact4: 行き易い物は気怠い fact5: もしも「あの情報満載は緩い一方でそれは行き易いない」ということは間違っているならこの雌雄異体は緩い fact6: あの情報満載は大統領選挙であるということはないとすると「それは行き易いかもしくは改行文字であるかあるいはどちらもだ」ということは正しい fact7: もしも女の子らしくない物が取れ易いということはないとすると大統領選挙だ fact8: この牛追いが信者さんだとするとこの雌雄異体は長ずる fact9: もし仮に「緩いということはない」ものがあるとすればあの申し立て手続きは壁であるかもしくはそれは信者さんであるかまたはどちらもだ fact10: 「あの情報満載は緩いけれど行き易くない」ということは成り立たない fact11: もしもこの牛追いが連想し易いならばこの雌雄異体は鬱陶しい fact12: もし仮にあの曲率半径Ｒは緩くないとすれば「それが信者さんだしおまけにそれは壁だ」ということは成り立たない fact13: もし仮にとあるものは緩くて信者さんであるなら壁でない fact14: この申し立て手続きは改行文字でない fact15: もしこの申し立て手続きが改行文字でないとすれば長ずるし気怠い fact16: 仮にこの雌雄異体が鬱陶しいならこの申し立て手続きは鬱陶しい fact17: 「もしも「「この牛追いは御顔するしそれに白血病だ」ということは嘘だ」ということは確かであるとしたらこの申し立て手続きは長ぜない」ということは真実である fact18: 連想し易い物は鬱陶しかなくて命ぜない fact19: とあるものが連想し易いならばそれは信者さんである fact20: あの情報満載は大統領選挙でない fact21: 仮に「あの曲率半径Ｒは信者さんであるしそれは壁である」ということは間違っているとするとこの牛追いは信者さんでない fact22: この申し立て手続きが壁ならばこの牛追いは信者さんだ fact23: 「その道術は紅雨荘である」ということは成り立つ fact24: もしも「この雌雄異体は壁である」ということは成り立つということはないならば「あの曲率半径Ｒは鬱陶しかないし更にそれは命ずるということはない」ということは本当でない fact25: もしあのストレッチ素材は大統領選挙であるとしたら「このコンストラクターズ・ポイントは改行文字である」ということは確かである fact26: この雌雄異体が長ずるとすればあの曲率半径Ｒは連想し易い fact27: あの情報満載は命ずる ; $hypothesis$ = あの曲率半径Ｒは鬱陶しかなくてまた命ぜない ; $proof$ = 
void -> assump1: 以下のように仮定する。この雌雄異体は連想し易くない; fact2 & assump1 -> int1: 「「この牛追いは御顔するししかも白血病だ」ということは確かでない」ということは成り立つ; int1 & fact17 -> int2: この申し立て手続きは長ぜない; fact15 & fact14 -> int3: この申し立て手続きは長ずるし気怠い; int3 -> int4: この申し立て手続きは長ずる; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この雌雄異体は連想し易い」ということは成り立つ; fact19 -> int7: もしこの雌雄異体が連想し易いならそれは信者さんだ; int6 & int7 -> int8: この雌雄異体は信者さんだ; fact10 & fact5 -> int9: この雌雄異体は緩い; int8 & int9 -> int10: この雌雄異体は緩くておまけに信者さんである; fact13 -> int11: 仮にこの雌雄異体は緩い物で加えて信者さんであるとすれば壁でない; int10 & int11 -> int12: この雌雄異体は壁でない; int12 & fact24 -> 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: 「その道術は紅雨荘である」ということは成り立つ
事実24: もしも「この雌雄異体は壁である」ということは成り立つということはないならば「あの曲率半径Ｒは鬱陶しかないし更にそれは命ずるということはない」ということは本当でない
事実25: もしあのストレッチ素材は大統領選挙であるとしたら「このコンストラクターズ・ポイントは改行文字である」ということは確かである
事実26: この雌雄異体が長ずるとすればあの曲率半径Ｒは連想し易い
事実27: あの情報満載は命ずる

仮説: あの曲率半径Ｒは鬱陶しかなくてまた命ぜない
1. 仮定1: 以下のように仮定する。この雌雄異体は連想し易くない
2. 事実2と仮定1から、推論1: "「「この牛追いは御顔するししかも白血病だ」ということは確かでない」ということは成り立つ"が導かれる
3. 推論1と事実17から、推論2: "この申し立て手続きは長ぜない"が導かれる
4. 事実15と事実14から、推論3: "この申し立て手続きは長ずるし気怠い"が導かれる
5. 推論3から、推論4: "この申し立て手続きは長ずる"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「この雌雄異体は連想し易い」ということは成り立つ"が導かれる
8. 事実19から、推論7: "もしこの雌雄異体が連想し易いならそれは信者さんだ"が導かれる
9. 推論6と推論7から、推論8: "この雌雄異体は信者さんだ"が導かれる
10. 事実10と事実5から、推論9: "この雌雄異体は緩い"が導かれる
11. 推論8と推論9から、推論10: "この雌雄異体は緩くておまけに信者さんである"が導かれる
12. 事実13から、推論11: "仮にこの雌雄異体は緩い物で加えて信者さんであるとすれば壁でない"が導かれる
13. 推論10と推論11から、推論12: "この雌雄異体は壁でない"が導かれる
14. 推論12と事実24から、仮説が否定される

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