この鞭打ち症は迷い難くない
fact1: もし仮にこの鞭打ち症がカーソルだし更に間違え易いとしたらあの大テーブルは迷い難くない fact2: その特別市は迷い難くない fact3: あの大テーブルは迷い難くない fact4: もしあの大テーブルがカーソルだしかつ間違え易いならこの鞭打ち症は迷い難くない fact5: あの大テーブルは間違え易くない fact6: あの大テーブルがカーソルだ一方で間違え易くないならばあの鞭打ち症は迷い難くない fact7: なにかは舞い始めるとしたら迷い難い fact8: もしなにかは服薬コンプライアンスでないとしたら舞い始めるし可笑し fact9: あの大テーブルはカーソルであるが間違え易くない
fact6 & fact9 -> hypothesis;
fact6 & fact9 -> hypothesis;
この鞭打ち症は迷い難い
fact10 -> int1: 仮にこの鞭打ち症が舞い始めるとすると迷い難い; fact11 -> int2: もしこの鞭打ち症が服薬コンプライアンスだということはないとすると舞い始めるしかつ可笑し;
$facts$ = fact1: もし仮にこの鞭打ち症がカーソルだし更に間違え易いとしたらあの大テーブルは迷い難くない fact2: その特別市は迷い難くない fact3: あの大テーブルは迷い難くない fact4: もしあの大テーブルがカーソルだしかつ間違え易いならこの鞭打ち症は迷い難くない fact5: あの大テーブルは間違え易くない fact6: あの大テーブルがカーソルだ一方で間違え易くないならばあの鞭打ち症は迷い難くない fact7: なにかは舞い始めるとしたら迷い難い fact8: もしなにかは服薬コンプライアンスでないとしたら舞い始めるし可笑し fact9: あの大テーブルはカーソルであるが間違え易くない ; $hypothesis$ = この鞭打ち症は迷い難くない ; $proof$ = 
fact6 & fact9 -> hypothesis; __PROVED__
事実1: もし仮にこの鞭打ち症がカーソルだし更に間違え易いとしたらあの大テーブルは迷い難くない
事実2: その特別市は迷い難くない
事実3: あの大テーブルは迷い難くない
事実4: もしあの大テーブルがカーソルだしかつ間違え易いならこの鞭打ち症は迷い難くない
事実5: あの大テーブルは間違え易くない
事実6: あの大テーブルがカーソルだ一方で間違え易くないならばあの鞭打ち症は迷い難くない
事実7: なにかは舞い始めるとしたら迷い難い
事実8: もしなにかは服薬コンプライアンスでないとしたら舞い始めるし可笑し
事実9: あの大テーブルはカーソルであるが間違え易くない

仮説: この鞭打ち症は迷い難くない
1. 事実6と事実9から、仮説が導かれる

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