「その詠嘆が寄越すしその上保守する」ということは偽である
fact1: 「その六年制は如何わしい」ということは確かだ fact2: その六年制がすっきりするか保守しないかあるいは両方ともであるとするとその詠嘆は保守する fact3: 「「その一院制は持ち直すしそれは繋がり易い」ということは成り立つ」ということは本当でない fact4: 仮に「その一院制は持ち直すし繋がり易い」ということは偽であるとしたら比較鑑賞でない fact5: もし仮に何らかの物が追い上げるがしかし等しくないとするとそれは守り易い fact6: その詠嘆はぶっとい fact7: その六年制は黒装束であるかあるいはそれは表全体だ fact8: その一院制は保守しないなら「比較鑑賞であるということはない」ということは正しい fact9: 仮にその羊飼いが来し易いとすればあの詠嘆は追い上げる fact10: もしその一院制が比較鑑賞でないとすればその羊飼いは来し易い fact11: 仮にあの流動パラフィンが空恐ろしいなら見窄らしい fact12: その詠嘆は繋がり易い fact13: どれもこれもは遠山君だ fact14: 仮にその詠嘆が守り易いとすれば寄越す fact15: 太り難くないしそれに如何わしいものはすっきりしない fact16: 守り易いということはない物はぶっとくないとしたら「その羊飼いは等しいということはない」ということは真実だ fact17: もし仮に来し易いものが保守しないとしたら比較鑑賞だ fact18: 遠山君は空恐ろしい fact19: その六年制が如何わしいならばすっきりするかあるいはそれは保守しないかもしくはどちらもである fact20: 見窄らしい物は太り難くないがしかし如何わしい fact21: 仮にその詠嘆がぶっといならばそれは等しくない fact22: もしも「寄越さない」物はあるとすると「その詠嘆は寄越すし加えて保守する」ということは偽だ fact23: 仮に「ある物は等しくないし更に追い上げない」ということは成り立たないならば「比較鑑賞でない」ということは真実だ fact24: あの流動パラフィンがすっきりしないとしたらその六年制は守り易くなくてぶっとくない
fact4 & fact3 -> int1: その一院制は比較鑑賞でない; int1 & fact10 -> int2: その羊飼いは来し易い; int2 & fact9 -> int3: その詠嘆は追い上げる; fact6 & fact21 -> int4: その詠嘆は等しくない; int3 & int4 -> int5: その詠嘆は追い上げるがしかしそれは等しくない; fact5 -> int6: もしもその詠嘆は追い上げるけれど等しくないとすればそれは守り易い; int5 & int6 -> int7: 「その詠嘆は守り易い」ということは成り立つ; int7 & fact14 -> int8: その詠嘆は寄越す; fact19 & fact1 -> int9: その六年制はすっきりするかそれは保守しない; int9 & fact2 -> int10: その詠嘆は保守する; int8 & int10 -> hypothesis;
その一院制は保守する
fact25 -> int11: もし仮に「その羊飼いは等しくないし追い上げない」ということは誤っているとすれば「比較鑑賞であるということはない」ということは誤っていない;
$facts$ = fact1: 「その六年制は如何わしい」ということは確かだ fact2: その六年制がすっきりするか保守しないかあるいは両方ともであるとするとその詠嘆は保守する fact3: 「「その一院制は持ち直すしそれは繋がり易い」ということは成り立つ」ということは本当でない fact4: 仮に「その一院制は持ち直すし繋がり易い」ということは偽であるとしたら比較鑑賞でない fact5: もし仮に何らかの物が追い上げるがしかし等しくないとするとそれは守り易い fact6: その詠嘆はぶっとい fact7: その六年制は黒装束であるかあるいはそれは表全体だ fact8: その一院制は保守しないなら「比較鑑賞であるということはない」ということは正しい fact9: 仮にその羊飼いが来し易いとすればあの詠嘆は追い上げる fact10: もしその一院制が比較鑑賞でないとすればその羊飼いは来し易い fact11: 仮にあの流動パラフィンが空恐ろしいなら見窄らしい fact12: その詠嘆は繋がり易い fact13: どれもこれもは遠山君だ fact14: 仮にその詠嘆が守り易いとすれば寄越す fact15: 太り難くないしそれに如何わしいものはすっきりしない fact16: 守り易いということはない物はぶっとくないとしたら「その羊飼いは等しいということはない」ということは真実だ fact17: もし仮に来し易いものが保守しないとしたら比較鑑賞だ fact18: 遠山君は空恐ろしい fact19: その六年制が如何わしいならばすっきりするかあるいはそれは保守しないかもしくはどちらもである fact20: 見窄らしい物は太り難くないがしかし如何わしい fact21: 仮にその詠嘆がぶっといならばそれは等しくない fact22: もしも「寄越さない」物はあるとすると「その詠嘆は寄越すし加えて保守する」ということは偽だ fact23: 仮に「ある物は等しくないし更に追い上げない」ということは成り立たないならば「比較鑑賞でない」ということは真実だ fact24: あの流動パラフィンがすっきりしないとしたらその六年制は守り易くなくてぶっとくない ; $hypothesis$ = 「その詠嘆が寄越すしその上保守する」ということは偽である ; $proof$ = 
fact4 & fact3 -> int1: その一院制は比較鑑賞でない; int1 & fact10 -> int2: その羊飼いは来し易い; int2 & fact9 -> int3: その詠嘆は追い上げる; fact6 & fact21 -> int4: その詠嘆は等しくない; int3 & int4 -> int5: その詠嘆は追い上げるがしかしそれは等しくない; fact5 -> int6: もしもその詠嘆は追い上げるけれど等しくないとすればそれは守り易い; int5 & int6 -> int7: 「その詠嘆は守り易い」ということは成り立つ; int7 & fact14 -> int8: その詠嘆は寄越す; fact19 & fact1 -> int9: その六年制はすっきりするかそれは保守しない; int9 & fact2 -> int10: その詠嘆は保守する; int8 & int10 -> hypothesis; __DISPROVED__
事実1: 「その六年制は如何わしい」ということは確かだ
事実2: その六年制がすっきりするか保守しないかあるいは両方ともであるとするとその詠嘆は保守する
事実3: 「「その一院制は持ち直すしそれは繋がり易い」ということは成り立つ」ということは本当でない
事実4: 仮に「その一院制は持ち直すし繋がり易い」ということは偽であるとしたら比較鑑賞でない
事実5: もし仮に何らかの物が追い上げるがしかし等しくないとするとそれは守り易い
事実6: その詠嘆はぶっとい
事実7: その六年制は黒装束であるかあるいはそれは表全体だ
事実8: その一院制は保守しないなら「比較鑑賞であるということはない」ということは正しい
事実9: 仮にその羊飼いが来し易いとすればあの詠嘆は追い上げる
事実10: もしその一院制が比較鑑賞でないとすればその羊飼いは来し易い
事実11: 仮にあの流動パラフィンが空恐ろしいなら見窄らしい
事実12: その詠嘆は繋がり易い
事実13: どれもこれもは遠山君だ
事実14: 仮にその詠嘆が守り易いとすれば寄越す
事実15: 太り難くないしそれに如何わしいものはすっきりしない
事実16: 守り易いということはない物はぶっとくないとしたら「その羊飼いは等しいということはない」ということは真実だ
事実17: もし仮に来し易いものが保守しないとしたら比較鑑賞だ
事実18: 遠山君は空恐ろしい
事実19: その六年制が如何わしいならばすっきりするかあるいはそれは保守しないかもしくはどちらもである
事実20: 見窄らしい物は太り難くないがしかし如何わしい
事実21: 仮にその詠嘆がぶっといならばそれは等しくない
事実22: もしも「寄越さない」物はあるとすると「その詠嘆は寄越すし加えて保守する」ということは偽だ
事実23: 仮に「ある物は等しくないし更に追い上げない」ということは成り立たないならば「比較鑑賞でない」ということは真実だ
事実24: あの流動パラフィンがすっきりしないとしたらその六年制は守り易くなくてぶっとくない

仮説: 「その詠嘆が寄越すしその上保守する」ということは偽である
1. 事実4と事実3から、推論1: "その一院制は比較鑑賞でない"が導かれる
2. 推論1と事実10から、推論2: "その羊飼いは来し易い"が導かれる
3. 推論2と事実9から、推論3: "その詠嘆は追い上げる"が導かれる
4. 事実6と事実21から、推論4: "その詠嘆は等しくない"が導かれる
5. 推論3と推論4から、推論5: "その詠嘆は追い上げるがしかしそれは等しくない"が導かれる
6. 事実5から、推論6: "もしもその詠嘆は追い上げるけれど等しくないとすればそれは守り易い"が導かれる
7. 推論5と推論6から、推論7: "「その詠嘆は守り易い」ということは成り立つ"が導かれる
8. 推論7と事実14から、推論8: "その詠嘆は寄越す"が導かれる
9. 事実19と事実1から、推論9: "その六年制はすっきりするかそれは保守しない"が導かれる
10. 推論9と事実2から、推論10: "その詠嘆は保守する"が導かれる
11. 推論8と推論10から、仮説が否定される

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