その南東は御膝でないし到達出来ない
fact1: とあるものが到達出来るならばあの保存版小冊子は御膝であるし加えてそれは群がる fact2: 「その南東は御膝だということはない一方で到達出来る」ということは誤りだ fact3: とあるものは懐こいということはないならば「それは病態であるけれど米国法人でない」ということは誤っている fact4: あの前掲論文は群がる fact5: この本項前段が出ればその南東は病態である fact6: もしなにがしかの物は懐こいとしたら「それは米国法人であるしかつそれは関屋記念でない」ということは成り立たない fact7: もし「「その南東は病態だけれど米国法人でない」ということは事実である」ということは偽であるとするとこの本項前段は米国法人でない fact8: すべてのものは変わり続けない fact9: 「その南東は御膝だけど到達出来るということはない」ということは成り立たない fact10: もし仮に何らかのものが病態だとすればそれは懐こい fact11: 仮にこの本項前段が群がればそれは御膝である fact12: この本項前段は掛かり易い fact13: 「もし「議会主義な」物があるとすればこの本項前段は出るかあるいはそれは病態だ」ということは確かだ fact14: もしもこの時間値が懐こいけれど議会主義でないとするとその南東は懐こいということはない fact15: 「議会主義な」ものはある fact16: もしこの本項前段は御膝だとしたら「「その南東は御膝であるということはないけど到達出来る」ということは成り立つ」ということは誤っている fact17: この本項前段は群がる fact18: 仮にこの本項前段は群がれば「その南東は群がらないしその上それは御膝でない」ということは嘘である fact19: もし仮に「この時間値が出るしその上ゲームする」ということは間違いだとしたら出ない fact20: 仮にこの本項前段は米国法人でないとすると到達出来るし関屋記念だ fact21: 仮に「あるものは変わり続けない」ということは成り立つなら「それは出るしおまけにゲームする」ということは事実と異なる fact22: もしなにがしかのものが出ないなら懐こくてそれは議会主義でない fact23: この本項前段は御膝だとすれば「その南東が御膝だけどそれは到達出来ない」ということは誤りだ fact24: 仮にこの本項前段は御膝であるならば「その南東は御膝でないしかつ到達出来ない」ということは成り立たない
fact11 & fact17 -> int1: この本項前段は御膝だ; int1 & fact24 -> hypothesis;
fact11 & fact17 -> int1: {B}{a}; int1 & fact24 -> hypothesis;
その保存版小冊子は群がる
fact26 -> int2: もし仮にその南東は懐こくないとしたら「病態だが米国法人でない」ということは間違いだ; fact27 -> int3: 仮にその入院後経過は変わり続けないならば「それは出るしおまけにそれはゲームする」ということは嘘である; fact28 -> int4: その入院後経過は変わり続けない; int3 & int4 -> int5: 「その入院後経過は出るしゲームする」ということは確かでない; int5 -> int6: 出るしかつゲームするというものはない; int6 -> int7: 「この時間値は出るしそれはゲームする」ということは偽だ; int7 & fact33 -> int8: この時間値は出ない; fact32 -> int9: もし仮にこの時間値が出ないとすると懐こいしその上議会主義だということはない; int8 & int9 -> int10: この時間値は懐こいけど議会主義でない; fact31 & int10 -> int11: その南東は懐こくない; int2 & int11 -> int12: 「その南東は病態であるがしかし米国法人だということはない」ということは正しいということはない; int12 & fact25 -> int13: この本項前段は米国法人でない; int13 & fact29 -> int14: この本項前段は到達出来るし関屋記念である; int14 -> int15: 「この本項前段は到達出来る」ということは真実だ; int15 -> int16: 「到達出来る」物はある; fact30 & int16 -> int17: その保存版小冊子は御膝であるしそれに群がる; int17 -> hypothesis;
$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$ = 
fact11 & fact17 -> int1: この本項前段は御膝だ; int1 & fact24 -> 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. 事実11と事実17から、推論1: "この本項前段は御膝だ"が導かれる
2. 推論1と事実24から、仮説が否定される

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