何らかのものは拝む一方で舞い落ちない
fact1: 「ある物は舞い落ちるということはない」ということは確かである fact2: 仮にある物が遣り辛くないとすればあの観光バスが御待つしその上拝む fact3: 遣り辛くない物はある fact4: その観光バスは御待つ fact5: その観光バスは舞い落ちない fact6: なにかは拝むしかつ舞い落ちる
fact3 & fact2 -> int1: その観光バスは御待つしさらに拝む; int1 -> int2: その観光バスは拝む; int2 & fact5 -> int3: その観光バスは拝むけれど舞い落ちない; int3 -> hypothesis;
$facts$ = fact1: 「ある物は舞い落ちるということはない」ということは確かである fact2: 仮にある物が遣り辛くないとすればあの観光バスが御待つしその上拝む fact3: 遣り辛くない物はある fact4: その観光バスは御待つ fact5: その観光バスは舞い落ちない fact6: なにかは拝むしかつ舞い落ちる ; $hypothesis$ = 何らかのものは拝む一方で舞い落ちない ; $proof$ = 
fact3 & fact2 -> int1: その観光バスは御待つしさらに拝む; int1 -> int2: その観光バスは拝む; int2 & fact5 -> int3: その観光バスは拝むけれど舞い落ちない; int3 -> hypothesis; __PROVED__
事実1: 「ある物は舞い落ちるということはない」ということは確かである
事実2: 仮にある物が遣り辛くないとすればあの観光バスが御待つしその上拝む
事実3: 遣り辛くない物はある
事実4: その観光バスは御待つ
事実5: その観光バスは舞い落ちない
事実6: なにかは拝むしかつ舞い落ちる

仮説: 何らかのものは拝む一方で舞い落ちない
1. 事実3と事実2から、推論1: "その観光バスは御待つしさらに拝む"が導かれる
2. 推論1から、推論2: "その観光バスは拝む"が導かれる
3. 推論2と事実5から、推論3: "その観光バスは拝むけれど舞い落ちない"が導かれる
4. 推論3から、仮説が導かれる

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