仮にこの混乱期は睨まないとしたら「「その集積は養子縁組するかもしくは空しいか両方だ」ということは間違いでない」ということは偽である
fact1: その集積は養子縁組するかまたはそれは空しい fact2: 「この混乱期は奥深いし小学校校舎である」ということは誤りだ fact3: もし仮にこの混乱期は奥深くないけど小学校校舎なら睨む fact4: もし仮に「この混乱期は罵倒するということはない」ということは誤っていないとすると「その七曲は湿気易くない」ということは成り立つ fact5: もし仮にこの混乱期が奥深くてさらにそれが小学校校舎ならばそれは睨む fact6: もし仮にこの混乱期が奥深いとしたら養子縁組しない fact7: もし仮にその集積が奥深くないならばこの混乱期は罵倒するか養子縁組する fact8: 仮にこの混乱期が睨まないとするとその集積は養子縁組するかあるいは空しいかもしくは両方ともである fact9: もしも「その七曲は湿気易くない」ということは成り立てばその集積は養子縁組しない fact10: 仮にある物が罵倒しないならばそれは小学校校舎でない fact11: 「なにがしかの物は奥深くないがしかし小学校校舎である」ということは成り立たないならば罵倒しない fact12: もしも「この混乱期は罵倒する」ということは成り立つとすればあの維摩経は罵倒しない fact13: もしその七曲が睨まないとしたらこの混乱期は罵倒するかまたは湿気易いかあるいはどちらもである fact14: その七曲は湿気易くないとすると「その集積は養子縁組するかまたは空しい」ということは間違いだ
void -> assump2: 以下のように仮定する。この混乱期は奥深くないがしかし小学校校舎だ; fact3 & assump2 -> int1: この混乱期は睨む; void -> assump1: 以下のように仮定する。この混乱期は睨まない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「「この混乱期は奥深くない一方でそれは小学校校舎である」ということは本当である」ということは事実と異なる; fact11 -> int4: 仮に「この混乱期は奥深くないけれど小学校校舎だ」ということは嘘だとすれば罵倒しない; int3 & int4 -> int5: 「この混乱期は罵倒しない」ということは成り立つ; int5 & fact4 -> int6: その七曲は湿気易くない; int6 & fact14 -> int7: 「その集積は養子縁組するかまたはそれは空しいかもしくはどちらもである」ということは成り立つということはない; [assump1] & int7 -> hypothesis;
その維摩経は小学校校舎でない
fact15 -> int8: もしその維摩経が罵倒するということはないとすると小学校校舎であるということはない;
$facts$ = fact1: その集積は養子縁組するかまたはそれは空しい fact2: 「この混乱期は奥深いし小学校校舎である」ということは誤りだ fact3: もし仮にこの混乱期は奥深くないけど小学校校舎なら睨む fact4: もし仮に「この混乱期は罵倒するということはない」ということは誤っていないとすると「その七曲は湿気易くない」ということは成り立つ fact5: もし仮にこの混乱期が奥深くてさらにそれが小学校校舎ならばそれは睨む fact6: もし仮にこの混乱期が奥深いとしたら養子縁組しない fact7: もし仮にその集積が奥深くないならばこの混乱期は罵倒するか養子縁組する fact8: 仮にこの混乱期が睨まないとするとその集積は養子縁組するかあるいは空しいかもしくは両方ともである fact9: もしも「その七曲は湿気易くない」ということは成り立てばその集積は養子縁組しない fact10: 仮にある物が罵倒しないならばそれは小学校校舎でない fact11: 「なにがしかの物は奥深くないがしかし小学校校舎である」ということは成り立たないならば罵倒しない fact12: もしも「この混乱期は罵倒する」ということは成り立つとすればあの維摩経は罵倒しない fact13: もしその七曲が睨まないとしたらこの混乱期は罵倒するかまたは湿気易いかあるいはどちらもである fact14: その七曲は湿気易くないとすると「その集積は養子縁組するかまたは空しい」ということは間違いだ ; $hypothesis$ = 仮にこの混乱期は睨まないとしたら「「その集積は養子縁組するかもしくは空しいか両方だ」ということは間違いでない」ということは偽である ; $proof$ = 
void -> assump2: 以下のように仮定する。この混乱期は奥深くないがしかし小学校校舎だ; fact3 & assump2 -> int1: この混乱期は睨む; void -> assump1: 以下のように仮定する。この混乱期は睨まない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「「この混乱期は奥深くない一方でそれは小学校校舎である」ということは本当である」ということは事実と異なる; fact11 -> int4: 仮に「この混乱期は奥深くないけれど小学校校舎だ」ということは嘘だとすれば罵倒しない; int3 & int4 -> int5: 「この混乱期は罵倒しない」ということは成り立つ; int5 & fact4 -> int6: その七曲は湿気易くない; int6 & fact14 -> int7: 「その集積は養子縁組するかまたはそれは空しいかもしくはどちらもである」ということは成り立つということはない; [assump1] & int7 -> hypothesis; __PROVED__
事実1: その集積は養子縁組するかまたはそれは空しい
事実2: 「この混乱期は奥深いし小学校校舎である」ということは誤りだ
事実3: もし仮にこの混乱期は奥深くないけど小学校校舎なら睨む
事実4: もし仮に「この混乱期は罵倒するということはない」ということは誤っていないとすると「その七曲は湿気易くない」ということは成り立つ
事実5: もし仮にこの混乱期が奥深くてさらにそれが小学校校舎ならばそれは睨む
事実6: もし仮にこの混乱期が奥深いとしたら養子縁組しない
事実7: もし仮にその集積が奥深くないならばこの混乱期は罵倒するか養子縁組する
事実8: 仮にこの混乱期が睨まないとするとその集積は養子縁組するかあるいは空しいかもしくは両方ともである
事実9: もしも「その七曲は湿気易くない」ということは成り立てばその集積は養子縁組しない
事実10: 仮にある物が罵倒しないならばそれは小学校校舎でない
事実11: 「なにがしかの物は奥深くないがしかし小学校校舎である」ということは成り立たないならば罵倒しない
事実12: もしも「この混乱期は罵倒する」ということは成り立つとすればあの維摩経は罵倒しない
事実13: もしその七曲が睨まないとしたらこの混乱期は罵倒するかまたは湿気易いかあるいはどちらもである
事実14: その七曲は湿気易くないとすると「その集積は養子縁組するかまたは空しい」ということは間違いだ

仮説: 仮にこの混乱期は睨まないとしたら「「その集積は養子縁組するかもしくは空しいか両方だ」ということは間違いでない」ということは偽である
1. 仮定2: 以下のように仮定する。この混乱期は奥深くないがしかし小学校校舎だ
2. 事実3と仮定2から、推論1: "この混乱期は睨む"が導かれる
3. 仮定1: 以下のように仮定する。この混乱期は睨まない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「「この混乱期は奥深くない一方でそれは小学校校舎である」ということは本当である」ということは事実と異なる"が導かれる
6. 事実11から、推論4: "仮に「この混乱期は奥深くないけれど小学校校舎だ」ということは嘘だとすれば罵倒しない"が導かれる
7. 推論3と推論4から、推論5: "「この混乱期は罵倒しない」ということは成り立つ"が導かれる
8. 推論5と事実4から、推論6: "その七曲は湿気易くない"が導かれる
9. 推論6と事実14から、推論7: "「その集積は養子縁組するかまたはそれは空しいかもしくはどちらもである」ということは成り立つということはない"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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