あのフランス革命研究は真ん丸い
fact1: 何かは粘っこいということはないけど捏ねる fact2: この謄写がほっぽり出さないならあのフランス革命研究はほっぽり出さない fact3: 「とある物は粘っこいがほっぽり出さない」ということは確かである fact4: もしもこの排尿障害が無断侵入しないとするとその七百八十一Ｒは色好いが汚くない fact5: この排尿障害は彼らしいしまた心苦しい fact6: 仮に「粘っこくないし捏ねない」ものがあるとしたらこの謄写はほっぽり出す fact7: 仮にこの謄写がほっぽり出すとしたらあのフランス革命研究は真ん丸い fact8: 仮にこの排尿障害が彼らしいとしたらそれはレーダー探知器でない fact9: 仮にとあるものがほっぽり出さないならそれは粘っこくないかあるいは捏ねないかもしくはどちらもである fact10: その老人医療は粘っこくないししかも捏ねない fact11: もしも「この排尿障害はレーダー探知器でない」ということは成り立つとすると「それはあくどいし更に突っ張る」ということは成り立つということはない fact12: なにがしかのものは粘っこいということはないか捏ねないかもしくは両方ともであるならば真ん丸くない fact13: もし仮に「なにがしかのものはあくどくてさらにそれは突っ張る」ということは正しくないとすれば無断侵入しない
fact10 -> int1: なにがしかの物は粘っこくないしそれに捏ねない; int1 & fact6 -> int2: この謄写はほっぽり出す; int2 & fact7 -> hypothesis;
fact10 -> int1: (Ex): (¬{A}x & ¬{B}x); int1 & fact6 -> int2: {C}{a}; int2 & fact7 -> hypothesis;
あのフランス革命研究は真ん丸いということはない
fact16 -> int3: もしもあのフランス革命研究が粘っこいということはないかそれは捏ねるということはないかまたはどちらもであるならば真ん丸くない; fact20 -> int4: もし仮にあのフランス革命研究がほっぽり出さないならば粘っこくないかまたは捏ねないかもしくは両方である; fact15 -> int5: もし「この排尿障害はあくどいしそれに突っ張る」ということは成り立つということはないならばそれは無断侵入しない; fact18 -> int6: この排尿障害は彼らしい; fact17 & int6 -> int7: 「この排尿障害はレーダー探知器でない」ということは真実である; fact19 & int7 -> int8: 「この排尿障害はあくどいし加えて突っ張る」ということは嘘である; int5 & int8 -> int9: この排尿障害は無断侵入しない; fact21 & int9 -> int10: その七百八十一Ｒは色好いがしかし汚いということはない; int10 -> int11: ある物は色好い一方で汚いということはない;
$facts$ = fact1: 何かは粘っこいということはないけど捏ねる fact2: この謄写がほっぽり出さないならあのフランス革命研究はほっぽり出さない fact3: 「とある物は粘っこいがほっぽり出さない」ということは確かである fact4: もしもこの排尿障害が無断侵入しないとするとその七百八十一Ｒは色好いが汚くない fact5: この排尿障害は彼らしいしまた心苦しい fact6: 仮に「粘っこくないし捏ねない」ものがあるとしたらこの謄写はほっぽり出す fact7: 仮にこの謄写がほっぽり出すとしたらあのフランス革命研究は真ん丸い fact8: 仮にこの排尿障害が彼らしいとしたらそれはレーダー探知器でない fact9: 仮にとあるものがほっぽり出さないならそれは粘っこくないかあるいは捏ねないかもしくはどちらもである fact10: その老人医療は粘っこくないししかも捏ねない fact11: もしも「この排尿障害はレーダー探知器でない」ということは成り立つとすると「それはあくどいし更に突っ張る」ということは成り立つということはない fact12: なにがしかのものは粘っこいということはないか捏ねないかもしくは両方ともであるならば真ん丸くない fact13: もし仮に「なにがしかのものはあくどくてさらにそれは突っ張る」ということは正しくないとすれば無断侵入しない ; $hypothesis$ = あのフランス革命研究は真ん丸い ; $proof$ = 
fact10 -> int1: なにがしかの物は粘っこくないしそれに捏ねない; int1 & fact6 -> int2: この謄写はほっぽり出す; int2 & fact7 -> hypothesis; __PROVED__
事実1: 何かは粘っこいということはないけど捏ねる
事実2: この謄写がほっぽり出さないならあのフランス革命研究はほっぽり出さない
事実3: 「とある物は粘っこいがほっぽり出さない」ということは確かである
事実4: もしもこの排尿障害が無断侵入しないとするとその七百八十一Ｒは色好いが汚くない
事実5: この排尿障害は彼らしいしまた心苦しい
事実6: 仮に「粘っこくないし捏ねない」ものがあるとしたらこの謄写はほっぽり出す
事実7: 仮にこの謄写がほっぽり出すとしたらあのフランス革命研究は真ん丸い
事実8: 仮にこの排尿障害が彼らしいとしたらそれはレーダー探知器でない
事実9: 仮にとあるものがほっぽり出さないならそれは粘っこくないかあるいは捏ねないかもしくはどちらもである
事実10: その老人医療は粘っこくないししかも捏ねない
事実11: もしも「この排尿障害はレーダー探知器でない」ということは成り立つとすると「それはあくどいし更に突っ張る」ということは成り立つということはない
事実12: なにがしかのものは粘っこいということはないか捏ねないかもしくは両方ともであるならば真ん丸くない
事実13: もし仮に「なにがしかのものはあくどくてさらにそれは突っ張る」ということは正しくないとすれば無断侵入しない

仮説: あのフランス革命研究は真ん丸い
1. 事実10から、推論1: "なにがしかの物は粘っこくないしそれに捏ねない"が導かれる
2. 推論1と事実6から、推論2: "この謄写はほっぽり出す"が導かれる
3. 推論2と事実7から、仮説が導かれる

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