その源流はＯＣＴである
fact1: もし仮にあのゾロアストロがぽかならばチャーター便だ fact2: その源流はＯＣＴである fact3: 「なんらかのものは壊れ難くないが自刃する」ということは成り立たないとしたら壊れ難い fact4: 仮にその源流がぎこちなくないならばあの餅菓子はＯＣＴだしそれに白眼視する fact5: もしも「その御囃子は深化法でない」ということは確かだとしたら「あの住人はぽかでないがそれは自刃する」ということは偽だ fact6: 壊れ難いものは白眼視しなくてそれにぎこちないということはない fact7: あのゾロアストロがチャーター便でないとすればその源流はぎこちなくないがしかし壊れ難い fact8: とあるものはチャーター便だとすると「それは壊れ難くない一方で自刃する」ということは事実と異なる
fact2 -> hypothesis;
fact2 -> hypothesis;
その源流はＯＣＴでない
fact9 -> int1: あのゾロアストロが壊れ難いなら白眼視しないしかつぎこちなくない; fact11 -> int2: もしも「あのゾロアストロは壊れ難いということはない物でありその上自刃する」ということは間違いであるならばそれは壊れ難い; fact12 -> int3: もしあのゾロアストロはチャーター便なら「壊れ難くないがしかし自刃する」ということは成り立たない;
$facts$ = fact1: もし仮にあのゾロアストロがぽかならばチャーター便だ fact2: その源流はＯＣＴである fact3: 「なんらかのものは壊れ難くないが自刃する」ということは成り立たないとしたら壊れ難い fact4: 仮にその源流がぎこちなくないならばあの餅菓子はＯＣＴだしそれに白眼視する fact5: もしも「その御囃子は深化法でない」ということは確かだとしたら「あの住人はぽかでないがそれは自刃する」ということは偽だ fact6: 壊れ難いものは白眼視しなくてそれにぎこちないということはない fact7: あのゾロアストロがチャーター便でないとすればその源流はぎこちなくないがしかし壊れ難い fact8: とあるものはチャーター便だとすると「それは壊れ難くない一方で自刃する」ということは事実と異なる ; $hypothesis$ = その源流はＯＣＴである ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし仮にあのゾロアストロがぽかならばチャーター便だ
事実2: その源流はＯＣＴである
事実3: 「なんらかのものは壊れ難くないが自刃する」ということは成り立たないとしたら壊れ難い
事実4: 仮にその源流がぎこちなくないならばあの餅菓子はＯＣＴだしそれに白眼視する
事実5: もしも「その御囃子は深化法でない」ということは確かだとしたら「あの住人はぽかでないがそれは自刃する」ということは偽だ
事実6: 壊れ難いものは白眼視しなくてそれにぎこちないということはない
事実7: あのゾロアストロがチャーター便でないとすればその源流はぎこちなくないがしかし壊れ難い
事実8: とあるものはチャーター便だとすると「それは壊れ難くない一方で自刃する」ということは事実と異なる

仮説: その源流はＯＣＴである
1. 事実2から、仮説が導かれる

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