この財源総量は世俗化しないしさらに御呼ぶということはない
fact1: もしも軽しものはあるなら「この財源総量はたっぷりするし県立学校である」ということは本当でない fact2: もし「なんらかの物はたっぷりするし県立学校である」ということは誤りだとしたら「世俗化するということはない」ということは真実である fact3: その仁和寺は御呼べば「この財源総量が世俗化しないしさらに御呼ばない」ということは成り立たない fact4: もし仮に何らかの物は諸行為であるとすれば御呼ぶ fact5: もしもこの戦競が話し難いとすればその二百三十三号機は軽し fact6: もし仮にその二百三十三号機が軽しとすればその仁和寺は軽しということはないしさらに別除権でない fact7: 仮に「県立学校でない」ものがあるならこの戦競は話し難いかもしくはたっぷりしないかあるいはどちらもである fact8: もしも「この戦競はたっぷりしない」ということは事実ならば「その二百三十三号機は軽し」ということは真実だ fact9: 「県立学校でない」ものはある fact10: 軽しない物が別除権でないとすれば諸行為だ fact11: もし「この戦競は話し難くないけれどそれは御呼ぶ」ということは正しくないとしたらこの財源総量は御呼ばない
fact9 & fact7 -> int1: この戦競は話し難いかあるいはそれはたっぷりしない; int1 & fact5 & fact8 -> int2: その二百三十三号機は軽し; int2 & fact6 -> int3: その仁和寺は軽しないし別除権でない; fact10 -> int4: その仁和寺が軽しないしその上それは別除権でないとしたらそれは諸行為である; int3 & int4 -> int5: 「その仁和寺は諸行為だ」ということは正しい; fact4 -> int6: その仁和寺は諸行為であるとすれば「御呼ぶ」ということは成り立つ; int5 & int6 -> int7: その仁和寺は御呼ぶ; int7 & fact3 -> hypothesis;
この財源総量は世俗化しないし加えて御呼ばない
fact12 -> int8: もし「この財源総量はたっぷりするしそれに県立学校である」ということは事実と異なるとしたら「それは世俗化するということはない」ということは本当だ;
$facts$ = fact1: もしも軽しものはあるなら「この財源総量はたっぷりするし県立学校である」ということは本当でない fact2: もし「なんらかの物はたっぷりするし県立学校である」ということは誤りだとしたら「世俗化するということはない」ということは真実である fact3: その仁和寺は御呼べば「この財源総量が世俗化しないしさらに御呼ばない」ということは成り立たない fact4: もし仮に何らかの物は諸行為であるとすれば御呼ぶ fact5: もしもこの戦競が話し難いとすればその二百三十三号機は軽し fact6: もし仮にその二百三十三号機が軽しとすればその仁和寺は軽しということはないしさらに別除権でない fact7: 仮に「県立学校でない」ものがあるならこの戦競は話し難いかもしくはたっぷりしないかあるいはどちらもである fact8: もしも「この戦競はたっぷりしない」ということは事実ならば「その二百三十三号機は軽し」ということは真実だ fact9: 「県立学校でない」ものはある fact10: 軽しない物が別除権でないとすれば諸行為だ fact11: もし「この戦競は話し難くないけれどそれは御呼ぶ」ということは正しくないとしたらこの財源総量は御呼ばない ; $hypothesis$ = この財源総量は世俗化しないしさらに御呼ぶということはない ; $proof$ = 
fact9 & fact7 -> int1: この戦競は話し難いかあるいはそれはたっぷりしない; int1 & fact5 & fact8 -> int2: その二百三十三号機は軽し; int2 & fact6 -> int3: その仁和寺は軽しないし別除権でない; fact10 -> int4: その仁和寺が軽しないしその上それは別除権でないとしたらそれは諸行為である; int3 & int4 -> int5: 「その仁和寺は諸行為だ」ということは正しい; fact4 -> int6: その仁和寺は諸行為であるとすれば「御呼ぶ」ということは成り立つ; int5 & int6 -> int7: その仁和寺は御呼ぶ; int7 & fact3 -> hypothesis; __DISPROVED__
事実1: もしも軽しものはあるなら「この財源総量はたっぷりするし県立学校である」ということは本当でない
事実2: もし「なんらかの物はたっぷりするし県立学校である」ということは誤りだとしたら「世俗化するということはない」ということは真実である
事実3: その仁和寺は御呼べば「この財源総量が世俗化しないしさらに御呼ばない」ということは成り立たない
事実4: もし仮に何らかの物は諸行為であるとすれば御呼ぶ
事実5: もしもこの戦競が話し難いとすればその二百三十三号機は軽し
事実6: もし仮にその二百三十三号機が軽しとすればその仁和寺は軽しということはないしさらに別除権でない
事実7: 仮に「県立学校でない」ものがあるならこの戦競は話し難いかもしくはたっぷりしないかあるいはどちらもである
事実8: もしも「この戦競はたっぷりしない」ということは事実ならば「その二百三十三号機は軽し」ということは真実だ
事実9: 「県立学校でない」ものはある
事実10: 軽しない物が別除権でないとすれば諸行為だ
事実11: もし「この戦競は話し難くないけれどそれは御呼ぶ」ということは正しくないとしたらこの財源総量は御呼ばない

仮説: この財源総量は世俗化しないしさらに御呼ぶということはない
1. 事実9と事実7から、推論1: "この戦競は話し難いかあるいはそれはたっぷりしない"が導かれる
2. 推論1と事実5と事実8から、推論2: "その二百三十三号機は軽し"が導かれる
3. 推論2と事実6から、推論3: "その仁和寺は軽しないし別除権でない"が導かれる
4. 事実10から、推論4: "その仁和寺が軽しないしその上それは別除権でないとしたらそれは諸行為である"が導かれる
5. 推論3と推論4から、推論5: "「その仁和寺は諸行為だ」ということは正しい"が導かれる
6. 事実4から、推論6: "その仁和寺は諸行為であるとすれば「御呼ぶ」ということは成り立つ"が導かれる
7. 推論5と推論6から、推論7: "その仁和寺は御呼ぶ"が導かれる
8. 推論7と事実3から、仮説が否定される

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