あのウェブ・ページは石橋だが鰆でない
fact1: もしもこの技術的能力は茶色っぽいなら「この出世物語は石橋だけれどそれは立ち遅れない」ということは成り立つということはない fact2: もし仮にとある物は茶色っぽいとすると「それはばあかしいけれど喋り難いということはない」ということは成り立つということはない fact3: この出世物語が立ち遅れるとすればあのウェブ・ページは茶色っぽい fact4: あのウェブ・ページがばあかしかないとしたら出店しない fact5: 喋り難くない物はばあかしかない fact6: もしもこの出世物語が石橋でないならあのウェブ・ページは喋り難いしその上鰆だ fact7: あのウェブ・ページは移行し易い fact8: あのウェブ・ページは鰆でない fact9: もし仮になんらかの物がばあかしかないとしたらそれは鰆でない fact10: 喋り難いものはばあかしいかもしくは移行し易くないかまたは両方だ fact11: もし仮にあのウェブ・ページがばあかしいということはないならばそれは鰆でない fact12: あのウェブ・ページは移行し易いが喋り難くない fact13: 仮に何らかのものがばあかしいということはないとすれば石橋だがしかし鰆でない fact14: もしもなんらかの物が窒息しないならば立ち遅れるか茶色っぽいかもしくはどちらもである fact15: もし仮にそのオスカー・ワイルドは窒息するなら「この技術的能力は茶色っぽい」ということは本当だ fact16: 仮に「「窒息するしおまけに供託金だということはない」ということは成り立たない」物があるとすればこの出世物語は窒息しない fact17: あのウェブ・ページがばあかしいとするとこの導入時はばあかしかない fact18: 「なにがしかの物は石橋であるけれど立ち遅れない」ということは成り立たないとすると石橋でない fact19: ばあかしいか移行し易くない物はばあかしい fact20: もし仮にとある物は移行し易いということはないとしたら「石橋で鰆でない」ということは間違っている fact21: 「この技術的能力は窒息するがしかし供託金でない」ということは誤っている
fact12 -> int1: あのウェブ・ページは喋り難くない; fact5 -> int2: もし仮にあのウェブ・ページが喋り難くないならばばあかしいということはない; int1 & int2 -> int3: あのウェブ・ページはばあかしかない; fact13 -> int4: もし仮にあのウェブ・ページがばあかしいということはないなら石橋であるが鰆でない; int3 & int4 -> hypothesis;
この導入時はばあかしかない
fact28 -> int5: 「あのウェブ・ページはばあかしいか移行し易くない」ということは事実ならば「それはばあかしい」ということは本当である; fact22 -> 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: 「この技術的能力は窒息するがしかし供託金でない」ということは誤っている ; $hypothesis$ = あのウェブ・ページは石橋だが鰆でない ; $proof$ = 
fact12 -> int1: あのウェブ・ページは喋り難くない; fact5 -> int2: もし仮にあのウェブ・ページが喋り難くないならばばあかしいということはない; int1 & int2 -> int3: あのウェブ・ページはばあかしかない; fact13 -> int4: もし仮にあのウェブ・ページがばあかしいということはないなら石橋であるが鰆でない; int3 & int4 -> hypothesis; __PROVED__
事実1: もしもこの技術的能力は茶色っぽいなら「この出世物語は石橋だけれどそれは立ち遅れない」ということは成り立つということはない
事実2: もし仮にとある物は茶色っぽいとすると「それはばあかしいけれど喋り難いということはない」ということは成り立つということはない
事実3: この出世物語が立ち遅れるとすればあのウェブ・ページは茶色っぽい
事実4: あのウェブ・ページがばあかしかないとしたら出店しない
事実5: 喋り難くない物はばあかしかない
事実6: もしもこの出世物語が石橋でないならあのウェブ・ページは喋り難いしその上鰆だ
事実7: あのウェブ・ページは移行し易い
事実8: あのウェブ・ページは鰆でない
事実9: もし仮になんらかの物がばあかしかないとしたらそれは鰆でない
事実10: 喋り難いものはばあかしいかもしくは移行し易くないかまたは両方だ
事実11: もし仮にあのウェブ・ページがばあかしいということはないならばそれは鰆でない
事実12: あのウェブ・ページは移行し易いが喋り難くない
事実13: 仮に何らかのものがばあかしいということはないとすれば石橋だがしかし鰆でない
事実14: もしもなんらかの物が窒息しないならば立ち遅れるか茶色っぽいかもしくはどちらもである
事実15: もし仮にそのオスカー・ワイルドは窒息するなら「この技術的能力は茶色っぽい」ということは本当だ
事実16: 仮に「「窒息するしおまけに供託金だということはない」ということは成り立たない」物があるとすればこの出世物語は窒息しない
事実17: あのウェブ・ページがばあかしいとするとこの導入時はばあかしかない
事実18: 「なにがしかの物は石橋であるけれど立ち遅れない」ということは成り立たないとすると石橋でない
事実19: ばあかしいか移行し易くない物はばあかしい
事実20: もし仮にとある物は移行し易いということはないとしたら「石橋で鰆でない」ということは間違っている
事実21: 「この技術的能力は窒息するがしかし供託金でない」ということは誤っている

仮説: あのウェブ・ページは石橋だが鰆でない
1. 事実12から、推論1: "あのウェブ・ページは喋り難くない"が導かれる
2. 事実5から、推論2: "もし仮にあのウェブ・ページが喋り難くないならばばあかしいということはない"が導かれる
3. 推論1と推論2から、推論3: "あのウェブ・ページはばあかしかない"が導かれる
4. 事実13から、推論4: "もし仮にあのウェブ・ページがばあかしいということはないなら石橋であるが鰆でない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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