あの有限会社は承服出来る
fact1: あるものは引き出し易くないけれど定率である fact2: もし仮にこのシェフネッケル一家が合成変数だということはないならばあの有限会社は合成変数である fact3: 「引き出し易くない」物はある fact4: もし仮にこのシェフネッケル一家が承服出来ないならあの有限会社は合成変数であるしまた承服出来る fact5: もし「何らかのものは引き出し易いけど定率でない」ということは確かであるとしたら「このシェフネッケル一家は合成変数でない」ということは成り立つ fact6: あの有限会社は合成変数だ fact7: もしなにがしかの物が別れるならソファだがしかし合成変数でない fact8: あの県民会議は憎々しいしそれに講義する fact9: 仮になんらかのものは定率でなくて引き出し易くないとしたらそれは合成変数だということはない fact10: もしこのシェフネッケル一家が合成変数でないとすればあの有限会社は承服出来るし合成変数である fact11: なんらかのものは引き出し易くないし定率でない fact12: このシェフネッケル一家がソファだとするとこのトートバッグは定率でなくてそれに引き出し易いということはない fact13: あの共有者は定率だし歩き回り始める fact14: 仮に「このシェフネッケル一家は承服出来るかまたは引き出し易くない」ということは誤りだとしたらあの有限会社は承服出来るということはない fact15: 「引き出し易くないし更に定率でない」物があればこのシェフネッケル一家は合成変数でない
fact11 & fact15 -> int1: このシェフネッケル一家は合成変数でない; int1 & fact10 -> int2: あの有限会社は承服出来るししかも合成変数だ; int2 -> hypothesis;
あの有限会社は承服出来ない
fact17 -> int3: 仮に「あの続審制は別れる」ということは事実と異ならないならばそれはソファでそれは合成変数でない;
$facts$ = fact1: あるものは引き出し易くないけれど定率である fact2: もし仮にこのシェフネッケル一家が合成変数だということはないならばあの有限会社は合成変数である fact3: 「引き出し易くない」物はある fact4: もし仮にこのシェフネッケル一家が承服出来ないならあの有限会社は合成変数であるしまた承服出来る fact5: もし「何らかのものは引き出し易いけど定率でない」ということは確かであるとしたら「このシェフネッケル一家は合成変数でない」ということは成り立つ fact6: あの有限会社は合成変数だ fact7: もしなにがしかの物が別れるならソファだがしかし合成変数でない fact8: あの県民会議は憎々しいしそれに講義する fact9: 仮になんらかのものは定率でなくて引き出し易くないとしたらそれは合成変数だということはない fact10: もしこのシェフネッケル一家が合成変数でないとすればあの有限会社は承服出来るし合成変数である fact11: なんらかのものは引き出し易くないし定率でない fact12: このシェフネッケル一家がソファだとするとこのトートバッグは定率でなくてそれに引き出し易いということはない fact13: あの共有者は定率だし歩き回り始める fact14: 仮に「このシェフネッケル一家は承服出来るかまたは引き出し易くない」ということは誤りだとしたらあの有限会社は承服出来るということはない fact15: 「引き出し易くないし更に定率でない」物があればこのシェフネッケル一家は合成変数でない ; $hypothesis$ = あの有限会社は承服出来る ; $proof$ = 
fact11 & fact15 -> int1: このシェフネッケル一家は合成変数でない; int1 & fact10 -> int2: あの有限会社は承服出来るししかも合成変数だ; int2 -> hypothesis; __PROVED__
事実1: あるものは引き出し易くないけれど定率である
事実2: もし仮にこのシェフネッケル一家が合成変数だということはないならばあの有限会社は合成変数である
事実3: 「引き出し易くない」物はある
事実4: もし仮にこのシェフネッケル一家が承服出来ないならあの有限会社は合成変数であるしまた承服出来る
事実5: もし「何らかのものは引き出し易いけど定率でない」ということは確かであるとしたら「このシェフネッケル一家は合成変数でない」ということは成り立つ
事実6: あの有限会社は合成変数だ
事実7: もしなにがしかの物が別れるならソファだがしかし合成変数でない
事実8: あの県民会議は憎々しいしそれに講義する
事実9: 仮になんらかのものは定率でなくて引き出し易くないとしたらそれは合成変数だということはない
事実10: もしこのシェフネッケル一家が合成変数でないとすればあの有限会社は承服出来るし合成変数である
事実11: なんらかのものは引き出し易くないし定率でない
事実12: このシェフネッケル一家がソファだとするとこのトートバッグは定率でなくてそれに引き出し易いということはない
事実13: あの共有者は定率だし歩き回り始める
事実14: 仮に「このシェフネッケル一家は承服出来るかまたは引き出し易くない」ということは誤りだとしたらあの有限会社は承服出来るということはない
事実15: 「引き出し易くないし更に定率でない」物があればこのシェフネッケル一家は合成変数でない

仮説: あの有限会社は承服出来る
1. 事実11と事実15から、推論1: "このシェフネッケル一家は合成変数でない"が導かれる
2. 推論1と事実10から、推論2: "あの有限会社は承服出来るししかも合成変数だ"が導かれる
3. 推論2から、仮説が導かれる

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