とある物は臆しなくてそれにそれは振り抜くということはない
fact1: 何かは臆するということはないけれどそれは振り抜く fact2: 「臆するけど振り抜かない」物はある fact3: もしもこのベンチャー・キャピタリストが企画審査委員会ならあの治験は臆しなくてしかも企画審査委員会でない fact4: もし仮になんらかの物が臆するとしたらそれは指定役務である fact5: あの一般消費者は長ーい fact6: もし仮に本法が臆しないならそれは如此しない fact7: もしもあの一般消費者が指定役務であるとするとあの治験は企画審査委員会だ fact8: 「臆しない」物はある fact9: このベンチャー・キャピタリストは振り抜くということはない fact10: 「振り抜かない」ものはある fact11: とあるものが如此しということはないとしたら振り抜かない fact12: もしもあの手取りが振り抜かないとしたら企画審査委員会であるししかも指定役務である fact13: あの一般消費者は指定役務だ fact14: もしあの治験が振り抜くとすればあのベンチャー・キャピタリストは振り抜かない fact15: あの治験が振り抜けばこのベンチャー・キャピタリストは臆しないしそれは振り抜かない fact16: もしこのベンチャー・キャピタリストが振り抜くとしたらあの治験は臆する fact17: このベンチャー・キャピタリストは指定役務だ fact18: あの久保谷は企画審査委員会だ fact19: あの一般消費者は限り無くないし墓所であるということはない fact20: もしも何らかの物は企画審査委員会であるとしたらそれは振り抜く fact21: もし仮にとあるものが身体運動ならそれが本法だしまた臆するということはない fact22: もしこの御銚子が指定役務だとするとこの木肌は臆するということはないししかも指定役務でない
fact7 & fact13 -> int1: あの治験は企画審査委員会である; fact20 -> int2: もしあの治験は企画審査委員会であるならば振り抜く; int1 & int2 -> int3: あの治験は振り抜く; int3 & fact15 -> int4: このベンチャー・キャピタリストは臆しなくて振り抜くということはない; int4 -> hypothesis;
あの手取りは指定役務である
fact25 -> int5: もし仮にあの手取りが如此しないならばそれは振り抜かない; fact24 -> int6: もし仮にあの手取りは本法だ一方で臆しないとしたらそれは如此しない; fact23 -> int7: もしもあの手取りが身体運動だとしたらそれは本法であるし加えてそれは臆しない;
$facts$ = fact1: 何かは臆するということはないけれどそれは振り抜く fact2: 「臆するけど振り抜かない」物はある fact3: もしもこのベンチャー・キャピタリストが企画審査委員会ならあの治験は臆しなくてしかも企画審査委員会でない fact4: もし仮になんらかの物が臆するとしたらそれは指定役務である fact5: あの一般消費者は長ーい fact6: もし仮に本法が臆しないならそれは如此しない fact7: もしもあの一般消費者が指定役務であるとするとあの治験は企画審査委員会だ fact8: 「臆しない」物はある fact9: このベンチャー・キャピタリストは振り抜くということはない fact10: 「振り抜かない」ものはある fact11: とあるものが如此しということはないとしたら振り抜かない fact12: もしもあの手取りが振り抜かないとしたら企画審査委員会であるししかも指定役務である fact13: あの一般消費者は指定役務だ fact14: もしあの治験が振り抜くとすればあのベンチャー・キャピタリストは振り抜かない fact15: あの治験が振り抜けばこのベンチャー・キャピタリストは臆しないしそれは振り抜かない fact16: もしこのベンチャー・キャピタリストが振り抜くとしたらあの治験は臆する fact17: このベンチャー・キャピタリストは指定役務だ fact18: あの久保谷は企画審査委員会だ fact19: あの一般消費者は限り無くないし墓所であるということはない fact20: もしも何らかの物は企画審査委員会であるとしたらそれは振り抜く fact21: もし仮にとあるものが身体運動ならそれが本法だしまた臆するということはない fact22: もしこの御銚子が指定役務だとするとこの木肌は臆するということはないししかも指定役務でない ; $hypothesis$ = とある物は臆しなくてそれにそれは振り抜くということはない ; $proof$ = 
fact7 & fact13 -> int1: あの治験は企画審査委員会である; fact20 -> int2: もしあの治験は企画審査委員会であるならば振り抜く; int1 & int2 -> int3: あの治験は振り抜く; int3 & fact15 -> int4: このベンチャー・キャピタリストは臆しなくて振り抜くということはない; int4 -> hypothesis; __PROVED__
事実1: 何かは臆するということはないけれどそれは振り抜く
事実2: 「臆するけど振り抜かない」物はある
事実3: もしもこのベンチャー・キャピタリストが企画審査委員会ならあの治験は臆しなくてしかも企画審査委員会でない
事実4: もし仮になんらかの物が臆するとしたらそれは指定役務である
事実5: あの一般消費者は長ーい
事実6: もし仮に本法が臆しないならそれは如此しない
事実7: もしもあの一般消費者が指定役務であるとするとあの治験は企画審査委員会だ
事実8: 「臆しない」物はある
事実9: このベンチャー・キャピタリストは振り抜くということはない
事実10: 「振り抜かない」ものはある
事実11: とあるものが如此しということはないとしたら振り抜かない
事実12: もしもあの手取りが振り抜かないとしたら企画審査委員会であるししかも指定役務である
事実13: あの一般消費者は指定役務だ
事実14: もしあの治験が振り抜くとすればあのベンチャー・キャピタリストは振り抜かない
事実15: あの治験が振り抜けばこのベンチャー・キャピタリストは臆しないしそれは振り抜かない
事実16: もしこのベンチャー・キャピタリストが振り抜くとしたらあの治験は臆する
事実17: このベンチャー・キャピタリストは指定役務だ
事実18: あの久保谷は企画審査委員会だ
事実19: あの一般消費者は限り無くないし墓所であるということはない
事実20: もしも何らかの物は企画審査委員会であるとしたらそれは振り抜く
事実21: もし仮にとあるものが身体運動ならそれが本法だしまた臆するということはない
事実22: もしこの御銚子が指定役務だとするとこの木肌は臆するということはないししかも指定役務でない

仮説: とある物は臆しなくてそれにそれは振り抜くということはない
1. 事実7と事実13から、推論1: "あの治験は企画審査委員会である"が導かれる
2. 事実20から、推論2: "もしあの治験は企画審査委員会であるならば振り抜く"が導かれる
3. 推論1と推論2から、推論3: "あの治験は振り抜く"が導かれる
4. 推論3と事実15から、推論4: "このベンチャー・キャピタリストは臆しなくて振り抜くということはない"が導かれる
5. 推論4から、仮説が導かれる

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