もしも「「そのカフェテリアはレクチャーするけれどそれは発電効率でない」ということは嘘だ」ということは本当だとすればそれは受け渡しする
fact1: もしも「何らかのものはレクチャーするしさらに発電効率だ」ということは偽だとすればそれは受け渡しする fact2: もし「何かはレクチャーする一方で発電効率であるということはない」ということは確かでないならば受け渡しする fact3: もし仮に「そのカフェテリアは受け渡しするがしかし脂っこくない」ということは間違っているとすれば首位打者だ fact4: もし「そのカフェテリアは苦悩するしそれに受け渡しする」ということは間違っているとすればそれは極まり悪い fact5: 仮にそのカフェテリアがレクチャーするがしかし発電効率であるということはないとすればそれは受け渡しする fact6: もし仮に「この遺伝子スパイ事件は発電効率でない」ということは確かならば跳ね飛ぶ fact7: もし「そのカフェテリアはレクチャーするしまた感知出来る」ということは間違っているとすればそれは一億二千七百万人だ fact8: もし仮に何かはレクチャーする一方で発電効率でないとしたらそれは受け渡しする fact9: 仮になんらかの物がレクチャーするということはないとすれば受け渡しする
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: もしも「何らかのものはレクチャーするしさらに発電効率だ」ということは偽だとすればそれは受け渡しする fact2: もし「何かはレクチャーする一方で発電効率であるということはない」ということは確かでないならば受け渡しする fact3: もし仮に「そのカフェテリアは受け渡しするがしかし脂っこくない」ということは間違っているとすれば首位打者だ fact4: もし「そのカフェテリアは苦悩するしそれに受け渡しする」ということは間違っているとすればそれは極まり悪い fact5: 仮にそのカフェテリアがレクチャーするがしかし発電効率であるということはないとすればそれは受け渡しする fact6: もし仮に「この遺伝子スパイ事件は発電効率でない」ということは確かならば跳ね飛ぶ fact7: もし「そのカフェテリアはレクチャーするしまた感知出来る」ということは間違っているとすればそれは一億二千七百万人だ fact8: もし仮に何かはレクチャーする一方で発電効率でないとしたらそれは受け渡しする fact9: 仮になんらかの物がレクチャーするということはないとすれば受け渡しする ; $hypothesis$ = もしも「「そのカフェテリアはレクチャーするけれどそれは発電効率でない」ということは嘘だ」ということは本当だとすればそれは受け渡しする ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしも「何らかのものはレクチャーするしさらに発電効率だ」ということは偽だとすればそれは受け渡しする
事実2: もし「何かはレクチャーする一方で発電効率であるということはない」ということは確かでないならば受け渡しする
事実3: もし仮に「そのカフェテリアは受け渡しするがしかし脂っこくない」ということは間違っているとすれば首位打者だ
事実4: もし「そのカフェテリアは苦悩するしそれに受け渡しする」ということは間違っているとすればそれは極まり悪い
事実5: 仮にそのカフェテリアがレクチャーするがしかし発電効率であるということはないとすればそれは受け渡しする
事実6: もし仮に「この遺伝子スパイ事件は発電効率でない」ということは確かならば跳ね飛ぶ
事実7: もし「そのカフェテリアはレクチャーするしまた感知出来る」ということは間違っているとすればそれは一億二千七百万人だ
事実8: もし仮に何かはレクチャーする一方で発電効率でないとしたらそれは受け渡しする
事実9: 仮になんらかの物がレクチャーするということはないとすれば受け渡しする

仮説: もしも「「そのカフェテリアはレクチャーするけれどそれは発電効率でない」ということは嘘だ」ということは本当だとすればそれは受け渡しする
1. 事実2から、仮説が導かれる

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