あの管理教育は月初でない
fact1: その根方が逞しくないとするとそれは多し fact2: その根方はうら若し fact3: 「「多しか逞しくない」ということは成り立つということはない」物はある fact4: もしもその根方が多しならあの傍聴席は砕くかそれは持ち難いということはない fact5: 「「立ち騒ぐかあるいは道化るないかあるいは両方だ」ということは誤りである」物はある fact6: もし仮にその根方が持ち難いしそれにうら若しとするとあの傍聴席は多しない fact7: 逞しいものは細胞接着だ fact8: もしもあの傍聴席が逞しいけれど月初でないとしたらあの柴田罫線は逞しい fact9: 仮にあの傍聴席が砕くならあの注意は補助金制度だ fact10: 仮に「「立ち騒ぐかもしくは道化るということはないかもしくはどちらもだ」ということは成り立たない」物があればその根方は多し fact11: もし仮に何かは漏れ出ないならそれは伝播するということはないがうら若し fact12: 仮にあの注意が逞しくてさらに補助金制度であるとしたらあの管理教育は月初でない fact13: その胸水貯留は漏れ出ない fact14: もしあの傍聴席が持ち難くないとすればあの注意は補助金制度だ fact15: 何かは伝播しない fact16: もしあの管理教育が補助金制度だしそれに持ち難いならばそれは砕かない fact17: あの管理教育は漏れ出る fact18: あの管理教育は多しない fact19: もしなにかは伝播しないけれどそれがうら若しとしたら逞しい fact20: あの注意は漏れ出ない fact21: もしも「伝播するということはない」ものがあればあの傍聴席は逞しいがそれは月初でない fact22: もしもなにがしかの物が砕かないとすれば立ち騒ぐしそれは多し fact23: 「補助金制度であるけど持ち難くない」ものがあるとするとあの柴田罫線は砕かない
fact5 & fact10 -> int1: その根方は多し; int1 & fact4 -> int2: あの傍聴席は砕くかあるいは持ち難くないかもしくは両方ともである; int2 & fact9 & fact14 -> int3: あの注意は補助金制度である; fact11 -> int4: もし仮にあの注意が漏れ出ないとすれば伝播しないがしかしうら若し; fact20 & int4 -> int5: あの注意は伝播しないがうら若し; fact19 -> int6: もしあの注意が伝播しない一方でうら若しとすると「それは逞しい」ということは間違いでない; int5 & int6 -> int7: あの注意は逞しい; int3 & int7 -> int8: あの注意は逞しいししかも補助金制度だ; int8 & fact12 -> hypothesis;
あの柴田罫線は立ち騒ぐしそれに細胞接着だ
fact26 -> int9: 仮にあの柴田罫線が砕くということはないとするとそれは立ち騒ぐしそれに多し; fact25 -> int10: もし仮にあの柴田罫線が逞しいとすればそれは細胞接着だ; fact29 & fact24 -> int11: あの傍聴席は逞しいけどそれは月初でない; fact28 & int11 -> int12: あの柴田罫線は逞しい; int10 & int12 -> int13: あの柴田罫線は細胞接着である;
$facts$ = fact1: その根方が逞しくないとするとそれは多し fact2: その根方はうら若し fact3: 「「多しか逞しくない」ということは成り立つということはない」物はある fact4: もしもその根方が多しならあの傍聴席は砕くかそれは持ち難いということはない fact5: 「「立ち騒ぐかあるいは道化るないかあるいは両方だ」ということは誤りである」物はある fact6: もし仮にその根方が持ち難いしそれにうら若しとするとあの傍聴席は多しない fact7: 逞しいものは細胞接着だ fact8: もしもあの傍聴席が逞しいけれど月初でないとしたらあの柴田罫線は逞しい fact9: 仮にあの傍聴席が砕くならあの注意は補助金制度だ fact10: 仮に「「立ち騒ぐかもしくは道化るということはないかもしくはどちらもだ」ということは成り立たない」物があればその根方は多し fact11: もし仮に何かは漏れ出ないならそれは伝播するということはないがうら若し fact12: 仮にあの注意が逞しくてさらに補助金制度であるとしたらあの管理教育は月初でない fact13: その胸水貯留は漏れ出ない fact14: もしあの傍聴席が持ち難くないとすればあの注意は補助金制度だ fact15: 何かは伝播しない fact16: もしあの管理教育が補助金制度だしそれに持ち難いならばそれは砕かない fact17: あの管理教育は漏れ出る fact18: あの管理教育は多しない fact19: もしなにかは伝播しないけれどそれがうら若しとしたら逞しい fact20: あの注意は漏れ出ない fact21: もしも「伝播するということはない」ものがあればあの傍聴席は逞しいがそれは月初でない fact22: もしもなにがしかの物が砕かないとすれば立ち騒ぐしそれは多し fact23: 「補助金制度であるけど持ち難くない」ものがあるとするとあの柴田罫線は砕かない ; $hypothesis$ = あの管理教育は月初でない ; $proof$ = 
fact5 & fact10 -> int1: その根方は多し; int1 & fact4 -> int2: あの傍聴席は砕くかあるいは持ち難くないかもしくは両方ともである; int2 & fact9 & fact14 -> int3: あの注意は補助金制度である; fact11 -> int4: もし仮にあの注意が漏れ出ないとすれば伝播しないがしかしうら若し; fact20 & int4 -> int5: あの注意は伝播しないがうら若し; fact19 -> int6: もしあの注意が伝播しない一方でうら若しとすると「それは逞しい」ということは間違いでない; int5 & int6 -> int7: あの注意は逞しい; int3 & int7 -> int8: あの注意は逞しいししかも補助金制度だ; int8 & fact12 -> hypothesis; __PROVED__
事実1: その根方が逞しくないとするとそれは多し
事実2: その根方はうら若し
事実3: 「「多しか逞しくない」ということは成り立つということはない」物はある
事実4: もしもその根方が多しならあの傍聴席は砕くかそれは持ち難いということはない
事実5: 「「立ち騒ぐかあるいは道化るないかあるいは両方だ」ということは誤りである」物はある
事実6: もし仮にその根方が持ち難いしそれにうら若しとするとあの傍聴席は多しない
事実7: 逞しいものは細胞接着だ
事実8: もしもあの傍聴席が逞しいけれど月初でないとしたらあの柴田罫線は逞しい
事実9: 仮にあの傍聴席が砕くならあの注意は補助金制度だ
事実10: 仮に「「立ち騒ぐかもしくは道化るということはないかもしくはどちらもだ」ということは成り立たない」物があればその根方は多し
事実11: もし仮に何かは漏れ出ないならそれは伝播するということはないがうら若し
事実12: 仮にあの注意が逞しくてさらに補助金制度であるとしたらあの管理教育は月初でない
事実13: その胸水貯留は漏れ出ない
事実14: もしあの傍聴席が持ち難くないとすればあの注意は補助金制度だ
事実15: 何かは伝播しない
事実16: もしあの管理教育が補助金制度だしそれに持ち難いならばそれは砕かない
事実17: あの管理教育は漏れ出る
事実18: あの管理教育は多しない
事実19: もしなにかは伝播しないけれどそれがうら若しとしたら逞しい
事実20: あの注意は漏れ出ない
事実21: もしも「伝播するということはない」ものがあればあの傍聴席は逞しいがそれは月初でない
事実22: もしもなにがしかの物が砕かないとすれば立ち騒ぐしそれは多し
事実23: 「補助金制度であるけど持ち難くない」ものがあるとするとあの柴田罫線は砕かない

仮説: あの管理教育は月初でない
1. 事実5と事実10から、推論1: "その根方は多し"が導かれる
2. 推論1と事実4から、推論2: "あの傍聴席は砕くかあるいは持ち難くないかもしくは両方ともである"が導かれる
3. 推論2と事実9と事実14から、推論3: "あの注意は補助金制度である"が導かれる
4. 事実11から、推論4: "もし仮にあの注意が漏れ出ないとすれば伝播しないがしかしうら若し"が導かれる
5. 事実20と推論4から、推論5: "あの注意は伝播しないがうら若し"が導かれる
6. 事実19から、推論6: "もしあの注意が伝播しない一方でうら若しとすると「それは逞しい」ということは間違いでない"が導かれる
7. 推論5と推論6から、推論7: "あの注意は逞しい"が導かれる
8. 推論3と推論7から、推論8: "あの注意は逞しいししかも補助金制度だ"が導かれる
9. 推論8と事実12から、仮説が導かれる

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