あの十字架は類推適用である
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: もしその耕土が儚いとしたら諸サービスだ
void -> assump1: 以下のように仮定する。その名誉職はぬらぬらする; fact4 & assump1 -> int1: その名誉職は花芯である; int1 & fact20 -> int2: これは矛盾である; [assump1] & int2 -> int3: その名誉職はぬらぬらしない; int3 & fact18 -> int4: あの十字架は彼女自身でない; int4 & fact15 -> int5: あの十字架は彼女自身でないしさらに吸収され難くない; int5 & fact12 -> hypothesis;
あの十字架は類推適用だ
fact27 -> int6: 仮に「あの十字架はぬらぬらするかまたはそれは花芯でないかあるいはどちらもである」ということは成り立たないならそれは類推適用だ; fact37 -> int7: 仮にあの十字架は彼女自身だとすれば「それはぬらぬらするかそれは花芯でない」ということは事実であるということはない; fact36 -> int8: もしも「その名誉職は探索す」ということは成り立つなら吸収され難い; fact33 -> int9: 仮に「この交配後は湛えないし態とらしくない」ということは成り立たないならそれは湛える; fact31 -> int10: もしこの交配後は掃除し易くないとすれば「湛えないし態とらしくない」ということは成り立たない; fact34 -> int11: もしこの規定性は諸サービスでないとすると寝直さないけれど掃除し易い; fact29 -> int12: その耕土が繋がり易いならばそれは儚い; fact39 & fact35 -> int13: その耕土は繋がり易い; int12 & int13 -> int14: その耕土は儚い; fact28 & int14 -> int15: その耕土は諸サービスだ; fact38 -> int16: その耕土は際どかない; int15 & int16 -> int17: その耕土は諸サービスであるがそれは際どかない; fact26 & int17 -> int18: この規定性は諸サービスでない; int11 & int18 -> int19: この規定性は寝直さない一方でそれは掃除し易い; fact30 & int19 -> int20: この交配後は掃除し易いということはない; int10 & int20 -> int21: 「この交配後は湛えなくて態とらしくない」ということは誤っている; int9 & int21 -> int22: この交配後は湛える; fact32 & int22 -> int23: 「その名誉職は探索す」ということは事実である; int8 & int23 -> int24: その名誉職は吸収され難い; int24 -> int25: 吸収され難いものはある;
$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: もしその耕土が儚いとしたら諸サービスだ ; $hypothesis$ = あの十字架は類推適用である ; $proof$ = 
void -> assump1: 以下のように仮定する。その名誉職はぬらぬらする; fact4 & assump1 -> int1: その名誉職は花芯である; int1 & fact20 -> int2: これは矛盾である; [assump1] & int2 -> int3: その名誉職はぬらぬらしない; int3 & fact18 -> int4: あの十字架は彼女自身でない; int4 & fact15 -> int5: あの十字架は彼女自身でないしさらに吸収され難くない; int5 & fact12 -> 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: もしその耕土が儚いとしたら諸サービスだ

仮説: あの十字架は類推適用である
1. 仮定1: 以下のように仮定する。その名誉職はぬらぬらする
2. 事実4と仮定1から、推論1: "その名誉職は花芯である"が導かれる
3. 推論1と事実20から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その名誉職はぬらぬらしない"が導かれる
5. 推論3と事実18から、推論4: "あの十字架は彼女自身でない"が導かれる
6. 推論4と事実15から、推論5: "あの十字架は彼女自身でないしさらに吸収され難くない"が導かれる
7. 推論5と事実12から、仮説が否定される

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