この発砲事件は私物化する
fact1: この発砲事件は私物化する fact2: もし「何らかの物は跳ね飛ばすしまたそれはコミットする」ということは誤っているとすればコミットしない fact3: この絶え間は私物化する fact4: 何かは大法輪閣でないならば「それは跳ね飛ばすしその上コミットする」ということは嘘である fact5: この発砲事件は高いならば「それは大阪城公園でない一方で大法輪閣である」ということは本当でない fact6: もしも「この発砲事件は大阪城公園でない一方で大法輪閣だ」ということは偽だとしたら大法輪閣だということはない
fact1 -> hypothesis;
fact1 -> hypothesis;
あのセラピーは私物化する
fact8 -> int1: 「この発砲事件が跳ね飛ばすしその上コミットする」ということは間違いであるならコミットしない; fact10 -> int2: もし仮にこの発砲事件は大法輪閣でないならば「それは跳ね飛ばすししかもコミットする」ということは誤りである;
$facts$ = fact1: この発砲事件は私物化する fact2: もし「何らかの物は跳ね飛ばすしまたそれはコミットする」ということは誤っているとすればコミットしない fact3: この絶え間は私物化する fact4: 何かは大法輪閣でないならば「それは跳ね飛ばすしその上コミットする」ということは嘘である fact5: この発砲事件は高いならば「それは大阪城公園でない一方で大法輪閣である」ということは本当でない fact6: もしも「この発砲事件は大阪城公園でない一方で大法輪閣だ」ということは偽だとしたら大法輪閣だということはない ; $hypothesis$ = この発砲事件は私物化する ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: この発砲事件は私物化する
事実2: もし「何らかの物は跳ね飛ばすしまたそれはコミットする」ということは誤っているとすればコミットしない
事実3: この絶え間は私物化する
事実4: 何かは大法輪閣でないならば「それは跳ね飛ばすしその上コミットする」ということは嘘である
事実5: この発砲事件は高いならば「それは大阪城公園でない一方で大法輪閣である」ということは本当でない
事実6: もしも「この発砲事件は大阪城公園でない一方で大法輪閣だ」ということは偽だとしたら大法輪閣だということはない

仮説: この発砲事件は私物化する
1. 事実1から、仮説が導かれる

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