その陽明門はくどい
fact1: 「そのＰＲＫは天女達であるということはないがしかし狼さんだ」ということは偽である fact2: もし仮になんらかの物が免疫乳酸酵素でないとすればそれは供与しないかあるいは狼さんでないかまたは両方だ fact3: 仮にそのＰＲＫがマグネットであるとすればその損害賠償金はビジネスクラスだ fact4: もしもそのＰＲＫが希うし掻き易いならばあの五階櫓は天女達でない fact5: 「その損害賠償金はビジネスクラスでない」ということは成り立つ fact6: そのＡＩはマグネットでない fact7: その五階櫓は希うしさらに野郎共である fact8: 仮にその五階櫓は天女達でないならば「その陽明門は天女達でないけど供与する」ということは誤っている fact9: そのＰＲＫは掻き易いし狼さんである fact10: もし仮にこの当企業が免疫乳酸酵素であるとしたらその五階櫓は免疫乳酸酵素でない fact11: この当企業は煉瓦色だ fact12: もし仮にその五階櫓は天女達でないならば「その陽明門は天女達であるけど供与しない」ということは成り立たない fact13: なにがしかのものはビジネスクラスでないならばそれはくどいししかもマグネットである fact14: 煉瓦色は免疫乳酸酵素である fact15: 仮に何かは天女達であるとすると「掻き易くないし加えてそれは希う」ということは誤っている fact16: その五階櫓は天女達だということはないとすると「「その陽明門は天女達でなくてまた供与しない」ということは事実と異なる」ということは成り立つ fact17: そのＰＲＫがくどいとすればあの陽明門はくどい fact18: 「その陽明門は天女達であるということはないがしかし供与する」ということは間違っている fact19: もし「ある物はマグネットでない」ということは確かであるとするとそれは希う fact20: 仮に「あるものは天女達でなくて供与しない」ということは成り立つということはないとするとそれはくどくない fact21: もしもその五階櫓が供与しないならばその損害賠償金は天女達でない
void -> assump1: 以下のように仮定する。そのＰＲＫはマグネットだ; fact3 & assump1 -> int1: その損害賠償金はビジネスクラスである; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのＰＲＫはマグネットでない; fact19 -> int4: もし仮にそのＰＲＫはマグネットでないとするとそれは希う; int3 & int4 -> int5: そのＰＲＫは希う; fact9 -> int6: そのＰＲＫは掻き易い; int5 & int6 -> int7: そのＰＲＫは希うしそれに掻き易い; int7 & fact4 -> int8: その五階櫓は天女達だということはない; int8 & fact16 -> int9: 「「その陽明門は天女達であるということはないし供与しない」ということは成り立つ」ということは成り立つということはない; fact20 -> int10: もしも「その陽明門は天女達でないしおまけに供与しない」ということは成り立たないとすると「くどくない」ということは事実だ; int9 & int10 -> hypothesis;
その陽明門はくどい
fact24 -> int11: 仮にそのＰＲＫがビジネスクラスでないとするとくどくてそれはマグネットである; fact29 -> int12: もしそのＰＲＫは天女達だとすれば「それは掻き易いということはない一方で希う」ということは成り立たない; fact27 -> int13: もし仮にその五階櫓が免疫乳酸酵素でないとしたら供与しないかあるいはそれは狼さんでない; fact26 -> int14: もし仮にこの当企業が煉瓦色だとすると免疫乳酸酵素である; int14 & fact23 -> int15: この当企業は免疫乳酸酵素だ; fact25 & int15 -> int16: その五階櫓は免疫乳酸酵素でない; int13 & int16 -> int17: その五階櫓は供与しないかまたは狼さんでないかもしくは両方ともである;
$facts$ = fact1: 「そのＰＲＫは天女達であるということはないがしかし狼さんだ」ということは偽である fact2: もし仮になんらかの物が免疫乳酸酵素でないとすればそれは供与しないかあるいは狼さんでないかまたは両方だ fact3: 仮にそのＰＲＫがマグネットであるとすればその損害賠償金はビジネスクラスだ fact4: もしもそのＰＲＫが希うし掻き易いならばあの五階櫓は天女達でない fact5: 「その損害賠償金はビジネスクラスでない」ということは成り立つ fact6: そのＡＩはマグネットでない fact7: その五階櫓は希うしさらに野郎共である fact8: 仮にその五階櫓は天女達でないならば「その陽明門は天女達でないけど供与する」ということは誤っている fact9: そのＰＲＫは掻き易いし狼さんである fact10: もし仮にこの当企業が免疫乳酸酵素であるとしたらその五階櫓は免疫乳酸酵素でない fact11: この当企業は煉瓦色だ fact12: もし仮にその五階櫓は天女達でないならば「その陽明門は天女達であるけど供与しない」ということは成り立たない fact13: なにがしかのものはビジネスクラスでないならばそれはくどいししかもマグネットである fact14: 煉瓦色は免疫乳酸酵素である fact15: 仮に何かは天女達であるとすると「掻き易くないし加えてそれは希う」ということは誤っている fact16: その五階櫓は天女達だということはないとすると「「その陽明門は天女達でなくてまた供与しない」ということは事実と異なる」ということは成り立つ fact17: そのＰＲＫがくどいとすればあの陽明門はくどい fact18: 「その陽明門は天女達であるということはないがしかし供与する」ということは間違っている fact19: もし「ある物はマグネットでない」ということは確かであるとするとそれは希う fact20: 仮に「あるものは天女達でなくて供与しない」ということは成り立つということはないとするとそれはくどくない fact21: もしもその五階櫓が供与しないならばその損害賠償金は天女達でない ; $hypothesis$ = その陽明門はくどい ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＰＲＫはマグネットだ; fact3 & assump1 -> int1: その損害賠償金はビジネスクラスである; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのＰＲＫはマグネットでない; fact19 -> int4: もし仮にそのＰＲＫはマグネットでないとするとそれは希う; int3 & int4 -> int5: そのＰＲＫは希う; fact9 -> int6: そのＰＲＫは掻き易い; int5 & int6 -> int7: そのＰＲＫは希うしそれに掻き易い; int7 & fact4 -> int8: その五階櫓は天女達だということはない; int8 & fact16 -> int9: 「「その陽明門は天女達であるということはないし供与しない」ということは成り立つ」ということは成り立つということはない; fact20 -> int10: もしも「その陽明門は天女達でないしおまけに供与しない」ということは成り立たないとすると「くどくない」ということは事実だ; int9 & int10 -> hypothesis; __DISPROVED__
事実1: 「そのＰＲＫは天女達であるということはないがしかし狼さんだ」ということは偽である
事実2: もし仮になんらかの物が免疫乳酸酵素でないとすればそれは供与しないかあるいは狼さんでないかまたは両方だ
事実3: 仮にそのＰＲＫがマグネットであるとすればその損害賠償金はビジネスクラスだ
事実4: もしもそのＰＲＫが希うし掻き易いならばあの五階櫓は天女達でない
事実5: 「その損害賠償金はビジネスクラスでない」ということは成り立つ
事実6: そのＡＩはマグネットでない
事実7: その五階櫓は希うしさらに野郎共である
事実8: 仮にその五階櫓は天女達でないならば「その陽明門は天女達でないけど供与する」ということは誤っている
事実9: そのＰＲＫは掻き易いし狼さんである
事実10: もし仮にこの当企業が免疫乳酸酵素であるとしたらその五階櫓は免疫乳酸酵素でない
事実11: この当企業は煉瓦色だ
事実12: もし仮にその五階櫓は天女達でないならば「その陽明門は天女達であるけど供与しない」ということは成り立たない
事実13: なにがしかのものはビジネスクラスでないならばそれはくどいししかもマグネットである
事実14: 煉瓦色は免疫乳酸酵素である
事実15: 仮に何かは天女達であるとすると「掻き易くないし加えてそれは希う」ということは誤っている
事実16: その五階櫓は天女達だということはないとすると「「その陽明門は天女達でなくてまた供与しない」ということは事実と異なる」ということは成り立つ
事実17: そのＰＲＫがくどいとすればあの陽明門はくどい
事実18: 「その陽明門は天女達であるということはないがしかし供与する」ということは間違っている
事実19: もし「ある物はマグネットでない」ということは確かであるとするとそれは希う
事実20: 仮に「あるものは天女達でなくて供与しない」ということは成り立つということはないとするとそれはくどくない
事実21: もしもその五階櫓が供与しないならばその損害賠償金は天女達でない

仮説: その陽明門はくどい
1. 仮定1: 以下のように仮定する。そのＰＲＫはマグネットだ
2. 事実3と仮定1から、推論1: "その損害賠償金はビジネスクラスである"が導かれる
3. 推論1と事実5から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "そのＰＲＫはマグネットでない"が導かれる
5. 事実19から、推論4: "もし仮にそのＰＲＫはマグネットでないとするとそれは希う"が導かれる
6. 推論3と推論4から、推論5: "そのＰＲＫは希う"が導かれる
7. 事実9から、推論6: "そのＰＲＫは掻き易い"が導かれる
8. 推論5と推論6から、推論7: "そのＰＲＫは希うしそれに掻き易い"が導かれる
9. 推論7と事実4から、推論8: "その五階櫓は天女達だということはない"が導かれる
10. 推論8と事実16から、推論9: "「「その陽明門は天女達であるということはないし供与しない」ということは成り立つ」ということは成り立つということはない"が導かれる
11. 事実20から、推論10: "もしも「その陽明門は天女達でないしおまけに供与しない」ということは成り立たないとすると「くどくない」ということは事実だ"が導かれる
12. 推論9と推論10から、仮説が否定される

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