あのポール・ロワイヤルは締め過ぎる
fact1: もし仮にあのポール・ロワイヤルは公選するとすれば「それは夜雨である」ということは本当である fact2: もしも「何かは締め過ぎないしさらにそれは取り辛いということはない」ということは成り立たないとしたら「締め過ぎない」ということは誤りである fact3: もし仮にあのポール・ロワイヤルが硯だとしたらそれは締め過ぎる fact4: あのポール・ロワイヤルは硯だ fact5: そのアスレティシズムが汲み出すとするとそれは中小企業等協同組合法だ fact6: もし仮に何かは硯でないとすると締め過ぎない
fact3 & fact4 -> hypothesis;
fact3 & fact4 -> hypothesis;
あのポール・ロワイヤルは締め過ぎない
fact7 -> int1: もしもあのポール・ロワイヤルは硯でないならば締め過ぎるということはない;
$facts$ = fact1: もし仮にあのポール・ロワイヤルは公選するとすれば「それは夜雨である」ということは本当である fact2: もしも「何かは締め過ぎないしさらにそれは取り辛いということはない」ということは成り立たないとしたら「締め過ぎない」ということは誤りである fact3: もし仮にあのポール・ロワイヤルが硯だとしたらそれは締め過ぎる fact4: あのポール・ロワイヤルは硯だ fact5: そのアスレティシズムが汲み出すとするとそれは中小企業等協同組合法だ fact6: もし仮に何かは硯でないとすると締め過ぎない ; $hypothesis$ = あのポール・ロワイヤルは締め過ぎる ; $proof$ = 
fact3 & fact4 -> hypothesis; __PROVED__
事実1: もし仮にあのポール・ロワイヤルは公選するとすれば「それは夜雨である」ということは本当である
事実2: もしも「何かは締め過ぎないしさらにそれは取り辛いということはない」ということは成り立たないとしたら「締め過ぎない」ということは誤りである
事実3: もし仮にあのポール・ロワイヤルが硯だとしたらそれは締め過ぎる
事実4: あのポール・ロワイヤルは硯だ
事実5: そのアスレティシズムが汲み出すとするとそれは中小企業等協同組合法だ
事実6: もし仮に何かは硯でないとすると締め過ぎない

仮説: あのポール・ロワイヤルは締め過ぎる
1. 事実3と事実4から、仮説が導かれる

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