このコントラ事件は間違う
fact1: もし仮にとある物が傍観しないとしたら哀れっぽくて大きい fact2: なんらかの物が仰々しいということはない一方で経過報告であるとするとそれは傍観しない fact3: もしこの自家発電設備が築造するということはないとするとこのコントラ事件は仰々しいということはないがしかし経過報告だ fact4: あのフォルダアイコンは振り続ける fact5: このコントラ事件が大きいならば間違う fact6: もしもこのコントラ事件が哀れっぽいとすれば大きい fact7: この自家発電設備は当該地方公共団体でないしおまけに空きっ腹でないとすると築造しない fact8: 「あのフォルダアイコンは間違う」ということは事実である fact9: もしもあのフォルダアイコンが振り続けるとしたらこのコントラ事件は哀れっぽい fact10: もしこのコントラ事件が哀れっぽくて大きいならばあのフォルダアイコンは哀れっぽくない fact11: もし仮に「この自家発電設備は傍観するし更に仰々しい」ということは偽であるなら大きいということはない
fact9 & fact4 -> int1: 「このコントラ事件は哀れっぽい」ということは本当だ; int1 & fact6 -> int2: このコントラ事件は大きい; int2 & fact5 -> hypothesis;
このコントラ事件は間違わない
$facts$ = fact1: もし仮にとある物が傍観しないとしたら哀れっぽくて大きい fact2: なんらかの物が仰々しいということはない一方で経過報告であるとするとそれは傍観しない fact3: もしこの自家発電設備が築造するということはないとするとこのコントラ事件は仰々しいということはないがしかし経過報告だ fact4: あのフォルダアイコンは振り続ける fact5: このコントラ事件が大きいならば間違う fact6: もしもこのコントラ事件が哀れっぽいとすれば大きい fact7: この自家発電設備は当該地方公共団体でないしおまけに空きっ腹でないとすると築造しない fact8: 「あのフォルダアイコンは間違う」ということは事実である fact9: もしもあのフォルダアイコンが振り続けるとしたらこのコントラ事件は哀れっぽい fact10: もしこのコントラ事件が哀れっぽくて大きいならばあのフォルダアイコンは哀れっぽくない fact11: もし仮に「この自家発電設備は傍観するし更に仰々しい」ということは偽であるなら大きいということはない ; $hypothesis$ = このコントラ事件は間違う ; $proof$ = 
fact9 & fact4 -> int1: 「このコントラ事件は哀れっぽい」ということは本当だ; int1 & fact6 -> int2: このコントラ事件は大きい; int2 & fact5 -> hypothesis; __PROVED__
事実1: もし仮にとある物が傍観しないとしたら哀れっぽくて大きい
事実2: なんらかの物が仰々しいということはない一方で経過報告であるとするとそれは傍観しない
事実3: もしこの自家発電設備が築造するということはないとするとこのコントラ事件は仰々しいということはないがしかし経過報告だ
事実4: あのフォルダアイコンは振り続ける
事実5: このコントラ事件が大きいならば間違う
事実6: もしもこのコントラ事件が哀れっぽいとすれば大きい
事実7: この自家発電設備は当該地方公共団体でないしおまけに空きっ腹でないとすると築造しない
事実8: 「あのフォルダアイコンは間違う」ということは事実である
事実9: もしもあのフォルダアイコンが振り続けるとしたらこのコントラ事件は哀れっぽい
事実10: もしこのコントラ事件が哀れっぽくて大きいならばあのフォルダアイコンは哀れっぽくない
事実11: もし仮に「この自家発電設備は傍観するし更に仰々しい」ということは偽であるなら大きいということはない

仮説: このコントラ事件は間違う
1. 事実9と事実4から、推論1: "「このコントラ事件は哀れっぽい」ということは本当だ"が導かれる
2. 推論1と事実6から、推論2: "このコントラ事件は大きい"が導かれる
3. 推論2と事実5から、仮説が導かれる

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