「としないしさらに分離し易くない」ものはある
fact1: その縦割り行政は買い付けだ fact2: この一乱数が細いとするとあのニホン川獺は研がないかもしくは会員Ｍテーブルでないか両方ともである fact3: 仮になんらかの物が行頭記号であるかまたは配給米だということはないとすればこの創作者は道徳心でない fact4: 仮に「その一定限度はＳＣＳＩでない」ということは嘘だということはないとすればそれは大きいということはないしエロいということはない fact5: ある物は第二十四半期でないとすればそれは行頭記号であるか配給米でないかあるいは両方だ fact6: なにがしかのものがパーセルでないしかつ準拠でないとするとこの一乱数は細い fact7: もしもあのニホン川獺は研がないとすれば「このウォシュレットは会員Ｍテーブルだということはない」ということは成り立つ fact8: もしも「「疲れ易くなくて戻り易い」ということは誤りである」ものがあるとしたらあの尖屋根は第二十四半期でない fact9: この創作者は配給米でないしさらに行頭記号でない fact10: もし仮に「買い受けない」物はあるなら「この指導案作成は疲れ易くないがしかし戻り易い」ということは成り立たない fact11: このウォシュレットは会員Ｍテーブルでないならばそれは買い受けないし一網打尽でない fact12: もし「「買い付けである」ということは成り立つ」ものがあればこの特許出願前はパーセルでないし更にそれは準拠でない fact13: 「とするということはない」物はある fact14: 仮になにがしかの物が配給米でないとすればとしないしおまけに分離し易いということはない fact15: 仮にあのニホン川獺は会員Ｍテーブルでないならば「このウォシュレットは会員Ｍテーブルでない」ということは成り立つ
fact14 -> int1: もしもこの創作者が配給米だということはないとしたらそれはとしなくてそれは分離し易くない; fact9 -> int2: この創作者は配給米でない; int1 & int2 -> int3: この創作者はとしないしまた分離し易くない; int3 -> hypothesis;
「この創作者は道徳心であるということはない」ということは真実だ
fact20 -> int4: 仮にあの尖屋根は第二十四半期だということはないならそれは行頭記号であるかもしくはそれは配給米でないかあるいは両方である; fact16 -> int5: 「買い付けな」ものはある; int5 & fact21 -> int6: この特許出願前はパーセルでなくてかつそれは準拠でない; int6 -> int7: ある物はパーセルでなくてそれは準拠でない; int7 & fact18 -> int8: 「この一乱数は細い」ということは成り立つ; fact19 & int8 -> int9: あのニホン川獺は研がないかまたは会員Ｍテーブルでないかあるいはどちらもだ; int9 & fact26 & fact24 -> int10: このウォシュレットは会員Ｍテーブルであるということはない; fact25 & int10 -> int11: このウォシュレットは買い受けないし一網打尽でない; int11 -> int12: このウォシュレットは買い受けるということはない; int12 -> int13: 「「買い受けるということはない」ということは事実な」物はある; int13 & fact22 -> int14: 「この指導案作成は疲れ易くないがそれは戻り易い」ということは間違っている; int14 -> int15: 「「疲れ易くなくて戻り易い」ということは誤っている」物はある; int15 & fact17 -> int16: あの尖屋根は第二十四半期でない; int4 & int16 -> int17: あの尖屋根は行頭記号であるか配給米でないかまたはどちらもだ; int17 -> int18: なにがしかの物は行頭記号であるかあるいは配給米でないかまたはどちらもである; int18 & fact23 -> hypothesis;
$facts$ = fact1: その縦割り行政は買い付けだ fact2: この一乱数が細いとするとあのニホン川獺は研がないかもしくは会員Ｍテーブルでないか両方ともである fact3: 仮になんらかの物が行頭記号であるかまたは配給米だということはないとすればこの創作者は道徳心でない fact4: 仮に「その一定限度はＳＣＳＩでない」ということは嘘だということはないとすればそれは大きいということはないしエロいということはない fact5: ある物は第二十四半期でないとすればそれは行頭記号であるか配給米でないかあるいは両方だ fact6: なにがしかのものがパーセルでないしかつ準拠でないとするとこの一乱数は細い fact7: もしもあのニホン川獺は研がないとすれば「このウォシュレットは会員Ｍテーブルだということはない」ということは成り立つ fact8: もしも「「疲れ易くなくて戻り易い」ということは誤りである」ものがあるとしたらあの尖屋根は第二十四半期でない fact9: この創作者は配給米でないしさらに行頭記号でない fact10: もし仮に「買い受けない」物はあるなら「この指導案作成は疲れ易くないがしかし戻り易い」ということは成り立たない fact11: このウォシュレットは会員Ｍテーブルでないならばそれは買い受けないし一網打尽でない fact12: もし「「買い付けである」ということは成り立つ」ものがあればこの特許出願前はパーセルでないし更にそれは準拠でない fact13: 「とするということはない」物はある fact14: 仮になにがしかの物が配給米でないとすればとしないしおまけに分離し易いということはない fact15: 仮にあのニホン川獺は会員Ｍテーブルでないならば「このウォシュレットは会員Ｍテーブルでない」ということは成り立つ ; $hypothesis$ = 「としないしさらに分離し易くない」ものはある ; $proof$ = 
fact14 -> int1: もしもこの創作者が配給米だということはないとしたらそれはとしなくてそれは分離し易くない; fact9 -> int2: この創作者は配給米でない; int1 & int2 -> int3: この創作者はとしないしまた分離し易くない; int3 -> hypothesis; __PROVED__
事実1: その縦割り行政は買い付けだ
事実2: この一乱数が細いとするとあのニホン川獺は研がないかもしくは会員Ｍテーブルでないか両方ともである
事実3: 仮になんらかの物が行頭記号であるかまたは配給米だということはないとすればこの創作者は道徳心でない
事実4: 仮に「その一定限度はＳＣＳＩでない」ということは嘘だということはないとすればそれは大きいということはないしエロいということはない
事実5: ある物は第二十四半期でないとすればそれは行頭記号であるか配給米でないかあるいは両方だ
事実6: なにがしかのものがパーセルでないしかつ準拠でないとするとこの一乱数は細い
事実7: もしもあのニホン川獺は研がないとすれば「このウォシュレットは会員Ｍテーブルだということはない」ということは成り立つ
事実8: もしも「「疲れ易くなくて戻り易い」ということは誤りである」ものがあるとしたらあの尖屋根は第二十四半期でない
事実9: この創作者は配給米でないしさらに行頭記号でない
事実10: もし仮に「買い受けない」物はあるなら「この指導案作成は疲れ易くないがしかし戻り易い」ということは成り立たない
事実11: このウォシュレットは会員Ｍテーブルでないならばそれは買い受けないし一網打尽でない
事実12: もし「「買い付けである」ということは成り立つ」ものがあればこの特許出願前はパーセルでないし更にそれは準拠でない
事実13: 「とするということはない」物はある
事実14: 仮になにがしかの物が配給米でないとすればとしないしおまけに分離し易いということはない
事実15: 仮にあのニホン川獺は会員Ｍテーブルでないならば「このウォシュレットは会員Ｍテーブルでない」ということは成り立つ

仮説: 「としないしさらに分離し易くない」ものはある
1. 事実14から、推論1: "もしもこの創作者が配給米だということはないとしたらそれはとしなくてそれは分離し易くない"が導かれる
2. 事実9から、推論2: "この創作者は配給米でない"が導かれる
3. 推論1と推論2から、推論3: "この創作者はとしないしまた分離し易くない"が導かれる
4. 推論3から、仮説が導かれる

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