あの乱波は持て余すかもしくはそれははつらない
fact1: その履修者はぎごちない fact2: もしも何らかのものが扱い易いということはないとしたらもがなくてかつ拾い上げない fact3: 仮に「その履修者は持て余すしもぐ」ということは間違いであるとすればもがない fact4: あのフリップチャートパッドははつる fact5: 仮にあるものはぎごちなくないとすると「それは持て余すかそれははつらないかあるいはどちらもである」ということは真実であるということはない fact6: もしもなにかはもぐということはないしさらに拾い上げるということはないとするとそれはぎごちなくない fact7: 「「なにがしかのものは計量カップであるかあるいはそれは近寄り難いかあるいは両方だ」ということは本当だ」ということは成り立たないとすれば扱い易くない fact8: もしもその履修者はぎごちないかもぐかまたは両方ともであるとしたら「あの乱波ははつらない」ということは成り立つ
fact1 -> int1: その履修者はぎごちないかもぐかもしくはどちらもである; int1 & fact8 -> int2: あの乱波ははつらない; int2 -> hypothesis;
その履修者はタイトルらしいかもしくはそれははつるかあるいは両方である
$facts$ = fact1: その履修者はぎごちない fact2: もしも何らかのものが扱い易いということはないとしたらもがなくてかつ拾い上げない fact3: 仮に「その履修者は持て余すしもぐ」ということは間違いであるとすればもがない fact4: あのフリップチャートパッドははつる fact5: 仮にあるものはぎごちなくないとすると「それは持て余すかそれははつらないかあるいはどちらもである」ということは真実であるということはない fact6: もしもなにかはもぐということはないしさらに拾い上げるということはないとするとそれはぎごちなくない fact7: 「「なにがしかのものは計量カップであるかあるいはそれは近寄り難いかあるいは両方だ」ということは本当だ」ということは成り立たないとすれば扱い易くない fact8: もしもその履修者はぎごちないかもぐかまたは両方ともであるとしたら「あの乱波ははつらない」ということは成り立つ ; $hypothesis$ = あの乱波は持て余すかもしくはそれははつらない ; $proof$ = 
fact1 -> int1: その履修者はぎごちないかもぐかもしくはどちらもである; int1 & fact8 -> int2: あの乱波ははつらない; int2 -> hypothesis; __PROVED__
事実1: その履修者はぎごちない
事実2: もしも何らかのものが扱い易いということはないとしたらもがなくてかつ拾い上げない
事実3: 仮に「その履修者は持て余すしもぐ」ということは間違いであるとすればもがない
事実4: あのフリップチャートパッドははつる
事実5: 仮にあるものはぎごちなくないとすると「それは持て余すかそれははつらないかあるいはどちらもである」ということは真実であるということはない
事実6: もしもなにかはもぐということはないしさらに拾い上げるということはないとするとそれはぎごちなくない
事実7: 「「なにがしかのものは計量カップであるかあるいはそれは近寄り難いかあるいは両方だ」ということは本当だ」ということは成り立たないとすれば扱い易くない
事実8: もしもその履修者はぎごちないかもぐかまたは両方ともであるとしたら「あの乱波ははつらない」ということは成り立つ

仮説: あの乱波は持て余すかもしくはそれははつらない
1. 事実1から、推論1: "その履修者はぎごちないかもぐかもしくはどちらもである"が導かれる
2. 推論1と事実8から、推論2: "あの乱波ははつらない"が導かれる
3. 推論2から、仮説が導かれる

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