あの回転運動は克服す
fact1: あのＧＶは英語教科書でないけれど暴れ始める fact2: あの回転運動は余所余所しい fact3: あのＧＶは狡っ辛くないがしかし情報機器だ fact4: 仮にあのＧＶが御労しくないけれどそれが余所余所しいとすればあの回転運動は東上しない fact5: あのＧＶは凄まじいけれど掛けない fact6: あのＧＶは御労しくないが東上する fact7: あの回転運動は新報だということはない一方で破れ難い fact8: あのＧＶは御労しくないけれど余所余所しい fact9: あの回転運動は担がない一方で雲上である fact10: あのＧＶは戻し易くないがしかし克服す fact11: その仲立ち精は金融改革プログラムだけれど破れ難くない fact12: そのメッセージＢＯＸ．Ｓハウメソッドは英語教科書である fact13: もしもあの回転運動が克服すらないとすると東上するけど英語教科書でない fact14: 「あの工事請け負い契約約款は東上する」ということは本当である fact15: あのＧＶが御労しくないとすればそれはアイドリングでない
void -> assump1: 以下のように仮定する。あの回転運動は克服すらない; fact13 & assump1 -> int1: 「あの回転運動は東上する一方で英語教科書でない」ということは確かである; int1 -> int2: あの回転運動は東上する; fact4 & fact8 -> int3: あの回転運動は東上しない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
$facts$ = fact1: あのＧＶは英語教科書でないけれど暴れ始める fact2: あの回転運動は余所余所しい fact3: あのＧＶは狡っ辛くないがしかし情報機器だ fact4: 仮にあのＧＶが御労しくないけれどそれが余所余所しいとすればあの回転運動は東上しない fact5: あのＧＶは凄まじいけれど掛けない fact6: あのＧＶは御労しくないが東上する fact7: あの回転運動は新報だということはない一方で破れ難い fact8: あのＧＶは御労しくないけれど余所余所しい fact9: あの回転運動は担がない一方で雲上である fact10: あのＧＶは戻し易くないがしかし克服す fact11: その仲立ち精は金融改革プログラムだけれど破れ難くない fact12: そのメッセージＢＯＸ．Ｓハウメソッドは英語教科書である fact13: もしもあの回転運動が克服すらないとすると東上するけど英語教科書でない fact14: 「あの工事請け負い契約約款は東上する」ということは本当である fact15: あのＧＶが御労しくないとすればそれはアイドリングでない ; $hypothesis$ = あの回転運動は克服す ; $proof$ = 
void -> assump1: 以下のように仮定する。あの回転運動は克服すらない; fact13 & assump1 -> int1: 「あの回転運動は東上する一方で英語教科書でない」ということは確かである; int1 -> int2: あの回転運動は東上する; fact4 & fact8 -> int3: あの回転運動は東上しない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: あのＧＶは英語教科書でないけれど暴れ始める
事実2: あの回転運動は余所余所しい
事実3: あのＧＶは狡っ辛くないがしかし情報機器だ
事実4: 仮にあのＧＶが御労しくないけれどそれが余所余所しいとすればあの回転運動は東上しない
事実5: あのＧＶは凄まじいけれど掛けない
事実6: あのＧＶは御労しくないが東上する
事実7: あの回転運動は新報だということはない一方で破れ難い
事実8: あのＧＶは御労しくないけれど余所余所しい
事実9: あの回転運動は担がない一方で雲上である
事実10: あのＧＶは戻し易くないがしかし克服す
事実11: その仲立ち精は金融改革プログラムだけれど破れ難くない
事実12: そのメッセージＢＯＸ．Ｓハウメソッドは英語教科書である
事実13: もしもあの回転運動が克服すらないとすると東上するけど英語教科書でない
事実14: 「あの工事請け負い契約約款は東上する」ということは本当である
事実15: あのＧＶが御労しくないとすればそれはアイドリングでない

仮説: あの回転運動は克服す
1. 仮定1: 以下のように仮定する。あの回転運動は克服すらない
2. 事実13と仮定1から、推論1: "「あの回転運動は東上する一方で英語教科書でない」ということは確かである"が導かれる
3. 推論1から、推論2: "あの回転運動は東上する"が導かれる
4. 事実4と事実8から、推論3: "あの回転運動は東上しない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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