「あの放射線状は門付けしない」ということは確かだ
fact1: もしあのパルスは網掛けしないとすると「この職能別研修は法治主義であるかあるいはそれは網掛けしないかもしくは両方ともである」ということは事実である fact2: 仮になにかは小気味良いということはないならば「網掛けしないし独立するということはない」ということは嘘だ fact3: もしある物が法治主義でないとすればそれは反転表示する fact4: 「あのパルスは反転表示する」ということは間違いでない fact5: もし仮にあのパルスが門付けすればあの放射線状は独立するということはない fact6: もし仮になんらかの物が網掛けしないとすると小気味良い fact7: もしもこの職能別研修は反転表示しないとすると「あのパルスは情けなくない」ということは本当だ fact8: もし仮にこの職能別研修が情けなくないとするとあの放射線状は門付けするということはない fact9: もしもあのパルスが小気味良いならその強姦は情けなくない fact10: もし仮にその強姦が小気味良くないとするとあのパルスは情けない fact11: もしこの職能別研修が法治主義だとするとあの放射線状は門付けしない fact12: もしもあのパルスは反転表示するし独立すれば「網掛けしない」ということは間違いでない fact13: この職能別研修は小気味良い fact14: あの放射線状は法治主義でない fact15: あのパルスは情けなくて空輸する fact16: もしあのパルスは残り作業でないなら「伝え易い」ということは事実と異ならない fact17: あのパルスは独立する fact18: もしも「あのパルスは反転表示するがしかし門付けしない」ということは成り立たないならばあの放射線状は門付けする fact19: もしあのパルスが切り飛ばさないならば貯蔵品である fact20: あの水循環は反転表示しない fact21: あの放射線状は反転表示するしさらに切り飛ばす fact22: その強姦は網掛けしない fact23: 仮にその強姦は法治主義でないとしたら情けない fact24: その雇用労働者は独立する fact25: 仮にこの職能別研修が情けないとするとその強姦は反転表示しない fact26: その強姦が情けなくないならばあの職能別研修は法治主義であるかもしくは情けなくない
fact4 & fact17 -> int1: あのパルスは反転表示するしおまけに独立する; int1 & fact12 -> int2: あのパルスは網掛けするということはない; fact6 -> int3: 「あのパルスは網掛けしない」ということは成り立つとすればそれは小気味良い; int2 & int3 -> int4: あのパルスは小気味良い; int4 & fact9 -> int5: 「その強姦は情けないということはない」ということは間違っていない; int5 & fact26 -> int6: この職能別研修は法治主義であるかあるいはそれは情けないということはないかあるいはどちらもだ; int6 & fact11 & fact8 -> hypothesis;
あの放射線状は門付けする
fact28 -> int7: 「その強姦は小気味良くない」ということは間違いでないなら「網掛けしなくて加えてそれは独立しない」ということは誤っている;
$facts$ = fact1: もしあのパルスは網掛けしないとすると「この職能別研修は法治主義であるかあるいはそれは網掛けしないかもしくは両方ともである」ということは事実である fact2: 仮になにかは小気味良いということはないならば「網掛けしないし独立するということはない」ということは嘘だ fact3: もしある物が法治主義でないとすればそれは反転表示する fact4: 「あのパルスは反転表示する」ということは間違いでない fact5: もし仮にあのパルスが門付けすればあの放射線状は独立するということはない fact6: もし仮になんらかの物が網掛けしないとすると小気味良い fact7: もしもこの職能別研修は反転表示しないとすると「あのパルスは情けなくない」ということは本当だ fact8: もし仮にこの職能別研修が情けなくないとするとあの放射線状は門付けするということはない fact9: もしもあのパルスが小気味良いならその強姦は情けなくない fact10: もし仮にその強姦が小気味良くないとするとあのパルスは情けない fact11: もしこの職能別研修が法治主義だとするとあの放射線状は門付けしない fact12: もしもあのパルスは反転表示するし独立すれば「網掛けしない」ということは間違いでない fact13: この職能別研修は小気味良い fact14: あの放射線状は法治主義でない fact15: あのパルスは情けなくて空輸する fact16: もしあのパルスは残り作業でないなら「伝え易い」ということは事実と異ならない fact17: あのパルスは独立する fact18: もしも「あのパルスは反転表示するがしかし門付けしない」ということは成り立たないならばあの放射線状は門付けする fact19: もしあのパルスが切り飛ばさないならば貯蔵品である fact20: あの水循環は反転表示しない fact21: あの放射線状は反転表示するしさらに切り飛ばす fact22: その強姦は網掛けしない fact23: 仮にその強姦は法治主義でないとしたら情けない fact24: その雇用労働者は独立する fact25: 仮にこの職能別研修が情けないとするとその強姦は反転表示しない fact26: その強姦が情けなくないならばあの職能別研修は法治主義であるかもしくは情けなくない ; $hypothesis$ = 「あの放射線状は門付けしない」ということは確かだ ; $proof$ = 
fact4 & fact17 -> int1: あのパルスは反転表示するしおまけに独立する; int1 & fact12 -> int2: あのパルスは網掛けするということはない; fact6 -> int3: 「あのパルスは網掛けしない」ということは成り立つとすればそれは小気味良い; int2 & int3 -> int4: あのパルスは小気味良い; int4 & fact9 -> int5: 「その強姦は情けないということはない」ということは間違っていない; int5 & fact26 -> int6: この職能別研修は法治主義であるかあるいはそれは情けないということはないかあるいはどちらもだ; int6 & fact11 & fact8 -> hypothesis; __PROVED__
事実1: もしあのパルスは網掛けしないとすると「この職能別研修は法治主義であるかあるいはそれは網掛けしないかもしくは両方ともである」ということは事実である
事実2: 仮になにかは小気味良いということはないならば「網掛けしないし独立するということはない」ということは嘘だ
事実3: もしある物が法治主義でないとすればそれは反転表示する
事実4: 「あのパルスは反転表示する」ということは間違いでない
事実5: もし仮にあのパルスが門付けすればあの放射線状は独立するということはない
事実6: もし仮になんらかの物が網掛けしないとすると小気味良い
事実7: もしもこの職能別研修は反転表示しないとすると「あのパルスは情けなくない」ということは本当だ
事実8: もし仮にこの職能別研修が情けなくないとするとあの放射線状は門付けするということはない
事実9: もしもあのパルスが小気味良いならその強姦は情けなくない
事実10: もし仮にその強姦が小気味良くないとするとあのパルスは情けない
事実11: もしこの職能別研修が法治主義だとするとあの放射線状は門付けしない
事実12: もしもあのパルスは反転表示するし独立すれば「網掛けしない」ということは間違いでない
事実13: この職能別研修は小気味良い
事実14: あの放射線状は法治主義でない
事実15: あのパルスは情けなくて空輸する
事実16: もしあのパルスは残り作業でないなら「伝え易い」ということは事実と異ならない
事実17: あのパルスは独立する
事実18: もしも「あのパルスは反転表示するがしかし門付けしない」ということは成り立たないならばあの放射線状は門付けする
事実19: もしあのパルスが切り飛ばさないならば貯蔵品である
事実20: あの水循環は反転表示しない
事実21: あの放射線状は反転表示するしさらに切り飛ばす
事実22: その強姦は網掛けしない
事実23: 仮にその強姦は法治主義でないとしたら情けない
事実24: その雇用労働者は独立する
事実25: 仮にこの職能別研修が情けないとするとその強姦は反転表示しない
事実26: その強姦が情けなくないならばあの職能別研修は法治主義であるかもしくは情けなくない

仮説: 「あの放射線状は門付けしない」ということは確かだ
1. 事実4と事実17から、推論1: "あのパルスは反転表示するしおまけに独立する"が導かれる
2. 推論1と事実12から、推論2: "あのパルスは網掛けするということはない"が導かれる
3. 事実6から、推論3: "「あのパルスは網掛けしない」ということは成り立つとすればそれは小気味良い"が導かれる
4. 推論2と推論3から、推論4: "あのパルスは小気味良い"が導かれる
5. 推論4と事実9から、推論5: "「その強姦は情けないということはない」ということは間違っていない"が導かれる
6. 推論5と事実26から、推論6: "この職能別研修は法治主義であるかあるいはそれは情けないということはないかあるいはどちらもだ"が導かれる
7. 推論6と事実11と事実8から、仮説が導かれる

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