「この閲覧室は一括しない」ということは本当である
fact1: もしもある物は生え易いなら「赤黒くないかもしくは味気無くないかどちらもだ」ということは成り立たない fact2: 仮にこの保存則が生え易いし規則正しいとするとあの空港使用料は赤黒くない fact3: 仮にこの保存則は生え易くないなら「この閲覧室は家族旅行でないか生え易くない」ということは事実と異なる fact4: もし仮にあの空港使用料は伝わり難いなら「それは赤黒い」ということは本当である fact5: もし仮に何かは赤黒くないならば「規則正しくないし生え易くない」ということは成り立たない fact6: 「この保存則は規則正しい」ということは本当だ fact7: もし「何らかのものは家族旅行でないかあるいは生え易くないか両方だ」ということは間違いであるとすると一括する fact8: もしも「「得易いかもしくは存在下でない」ということは成り立たない」物があればあの空港使用料は伝わり難い fact9: もし「何かは伝わり難いかあるいは生え易くないか両方だ」ということは成り立たないなら赤黒い fact10: 「この保存則は赤黒い」ということは本当だ fact11: 「「得易いかまたは存在下でないかまたは両方である」ということは偽な」ものはある fact12: この保存則が生え易いとすれば一括する
void -> assump1: 以下のように仮定する。この保存則は生え易い; assump1 & fact6 -> int1: この保存則は生え易くてそれは規則正しい; int1 & fact2 -> int2: あの空港使用料は赤黒くない; fact11 & fact8 -> int3: あの空港使用料は伝わり難い; fact4 & int3 -> int4: あの空港使用料は赤黒い; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この保存則は生え易くない」ということは偽でない; int6 & fact3 -> int7: 「この閲覧室は家族旅行でないかもしくはそれは生え易くない」ということは偽だ; fact7 -> int8: もし仮に「この閲覧室は家族旅行でないか生え易くないかどちらもだ」ということは成り立たないとしたら一括する; int7 & int8 -> hypothesis;
この閲覧室は一括するということはない
fact13 -> int9: この保存則は赤黒くないとすると「規則正しくなくて更に生え易くない」ということは誤っている;
$facts$ = fact1: もしもある物は生え易いなら「赤黒くないかもしくは味気無くないかどちらもだ」ということは成り立たない fact2: 仮にこの保存則が生え易いし規則正しいとするとあの空港使用料は赤黒くない fact3: 仮にこの保存則は生え易くないなら「この閲覧室は家族旅行でないか生え易くない」ということは事実と異なる fact4: もし仮にあの空港使用料は伝わり難いなら「それは赤黒い」ということは本当である fact5: もし仮に何かは赤黒くないならば「規則正しくないし生え易くない」ということは成り立たない fact6: 「この保存則は規則正しい」ということは本当だ fact7: もし「何らかのものは家族旅行でないかあるいは生え易くないか両方だ」ということは間違いであるとすると一括する fact8: もしも「「得易いかもしくは存在下でない」ということは成り立たない」物があればあの空港使用料は伝わり難い fact9: もし「何かは伝わり難いかあるいは生え易くないか両方だ」ということは成り立たないなら赤黒い fact10: 「この保存則は赤黒い」ということは本当だ fact11: 「「得易いかまたは存在下でないかまたは両方である」ということは偽な」ものはある fact12: この保存則が生え易いとすれば一括する ; $hypothesis$ = 「この閲覧室は一括しない」ということは本当である ; $proof$ = 
void -> assump1: 以下のように仮定する。この保存則は生え易い; assump1 & fact6 -> int1: この保存則は生え易くてそれは規則正しい; int1 & fact2 -> int2: あの空港使用料は赤黒くない; fact11 & fact8 -> int3: あの空港使用料は伝わり難い; fact4 & int3 -> int4: あの空港使用料は赤黒い; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この保存則は生え易くない」ということは偽でない; int6 & fact3 -> int7: 「この閲覧室は家族旅行でないかもしくはそれは生え易くない」ということは偽だ; fact7 -> int8: もし仮に「この閲覧室は家族旅行でないか生え易くないかどちらもだ」ということは成り立たないとしたら一括する; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もしもある物は生え易いなら「赤黒くないかもしくは味気無くないかどちらもだ」ということは成り立たない
事実2: 仮にこの保存則が生え易いし規則正しいとするとあの空港使用料は赤黒くない
事実3: 仮にこの保存則は生え易くないなら「この閲覧室は家族旅行でないか生え易くない」ということは事実と異なる
事実4: もし仮にあの空港使用料は伝わり難いなら「それは赤黒い」ということは本当である
事実5: もし仮に何かは赤黒くないならば「規則正しくないし生え易くない」ということは成り立たない
事実6: 「この保存則は規則正しい」ということは本当だ
事実7: もし「何らかのものは家族旅行でないかあるいは生え易くないか両方だ」ということは間違いであるとすると一括する
事実8: もしも「「得易いかもしくは存在下でない」ということは成り立たない」物があればあの空港使用料は伝わり難い
事実9: もし「何かは伝わり難いかあるいは生え易くないか両方だ」ということは成り立たないなら赤黒い
事実10: 「この保存則は赤黒い」ということは本当だ
事実11: 「「得易いかまたは存在下でないかまたは両方である」ということは偽な」ものはある
事実12: この保存則が生え易いとすれば一括する

仮説: 「この閲覧室は一括しない」ということは本当である
1. 仮定1: 以下のように仮定する。この保存則は生え易い
2. 仮定1と事実6から、推論1: "この保存則は生え易くてそれは規則正しい"が導かれる
3. 推論1と事実2から、推論2: "あの空港使用料は赤黒くない"が導かれる
4. 事実11と事実8から、推論3: "あの空港使用料は伝わり難い"が導かれる
5. 事実4と推論3から、推論4: "あの空港使用料は赤黒い"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「この保存則は生え易くない」ということは偽でない"が導かれる
8. 推論6と事実3から、推論7: "「この閲覧室は家族旅行でないかもしくはそれは生え易くない」ということは偽だ"が導かれる
9. 事実7から、推論8: "もし仮に「この閲覧室は家族旅行でないか生え易くないかどちらもだ」ということは成り立たないとしたら一括する"が導かれる
10. 推論7と推論8から、仮説が否定される

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