この川辺川ダムは噴霧しない
fact1: あの御腹一杯は妻す fact2: この川辺川ダムはシリカでその上厭わしい fact3: もし仮にこの川辺川ダムはシリカであるし更に妻すとすると噴霧しない fact4: もしあるものが厭わしくないとすると噴霧するしシリカだ fact5: この川辺川ダムは妻す fact6: この川辺川ダムは厭わしい
fact2 -> int1: この川辺川ダムはシリカだ; int1 & fact5 -> int2: この川辺川ダムはシリカであるしおまけに妻す; int2 & fact3 -> hypothesis;
この川辺川ダムは噴霧する
fact7 -> int3: もしもこの川辺川ダムが厭わしいということはないとするとそれは噴霧するしシリカである;
$facts$ = fact1: あの御腹一杯は妻す fact2: この川辺川ダムはシリカでその上厭わしい fact3: もし仮にこの川辺川ダムはシリカであるし更に妻すとすると噴霧しない fact4: もしあるものが厭わしくないとすると噴霧するしシリカだ fact5: この川辺川ダムは妻す fact6: この川辺川ダムは厭わしい ; $hypothesis$ = この川辺川ダムは噴霧しない ; $proof$ = 
fact2 -> int1: この川辺川ダムはシリカだ; int1 & fact5 -> int2: この川辺川ダムはシリカであるしおまけに妻す; int2 & fact3 -> hypothesis; __PROVED__
事実1: あの御腹一杯は妻す
事実2: この川辺川ダムはシリカでその上厭わしい
事実3: もし仮にこの川辺川ダムはシリカであるし更に妻すとすると噴霧しない
事実4: もしあるものが厭わしくないとすると噴霧するしシリカだ
事実5: この川辺川ダムは妻す
事実6: この川辺川ダムは厭わしい

仮説: この川辺川ダムは噴霧しない
1. 事実2から、推論1: "この川辺川ダムはシリカだ"が導かれる
2. 推論1と事実5から、推論2: "この川辺川ダムはシリカであるしおまけに妻す"が導かれる
3. 推論2と事実3から、仮説が導かれる

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