その膵はそそっかしいけれど自殺しない
fact1: 「その文豪は太り始めるが心苦しくない」ということは成り立たない fact2: この日本サッカーは練り胡麻だ fact3: もし「その文豪は太り始めないし心苦しくない」ということは誤っているとしたら「あのＳ君はそそっかしくない」ということは成り立つ fact4: もし仮にあのＳ君がそそっかしくないとするとその膵は自殺しない fact5: もし仮にあのＳ君がそそっかしくないならばその膵はそそっかしいけど自殺しない fact6: 「その文豪は太り始めないがしかしそれは心苦しい」ということは成り立つということはない fact7: もし「「練り胡麻だ」ということは成り立つ」ものはあるとしたら「その文豪は太り始めるということはないしそれに心苦しくない」ということは成り立たない fact8: もしもあのＳ君は練り胡麻だとすると「その文豪は恐れ多い」ということは偽でない fact9: その膵は自殺しない fact10: もし仮に「練り胡麻である」物はあるとすれば「その文豪は太り始めない一方で心苦しい」ということは成り立たない
fact2 -> int1: 「練り胡麻である」物はある; int1 & fact7 -> int2: 「「その文豪は太り始めるということはなくてしかも心苦しいということはない」ということは間違いである」ということは成り立つ; int2 & fact3 -> int3: あのＳ君はそそっかしいということはない; int3 & fact5 -> hypothesis;
「恐れ多い」物はある
$facts$ = fact1: 「その文豪は太り始めるが心苦しくない」ということは成り立たない fact2: この日本サッカーは練り胡麻だ fact3: もし「その文豪は太り始めないし心苦しくない」ということは誤っているとしたら「あのＳ君はそそっかしくない」ということは成り立つ fact4: もし仮にあのＳ君がそそっかしくないとするとその膵は自殺しない fact5: もし仮にあのＳ君がそそっかしくないならばその膵はそそっかしいけど自殺しない fact6: 「その文豪は太り始めないがしかしそれは心苦しい」ということは成り立つということはない fact7: もし「「練り胡麻だ」ということは成り立つ」ものはあるとしたら「その文豪は太り始めるということはないしそれに心苦しくない」ということは成り立たない fact8: もしもあのＳ君は練り胡麻だとすると「その文豪は恐れ多い」ということは偽でない fact9: その膵は自殺しない fact10: もし仮に「練り胡麻である」物はあるとすれば「その文豪は太り始めない一方で心苦しい」ということは成り立たない ; $hypothesis$ = その膵はそそっかしいけれど自殺しない ; $proof$ = 
fact2 -> int1: 「練り胡麻である」物はある; int1 & fact7 -> int2: 「「その文豪は太り始めるということはなくてしかも心苦しいということはない」ということは間違いである」ということは成り立つ; int2 & fact3 -> int3: あのＳ君はそそっかしいということはない; int3 & fact5 -> hypothesis; __PROVED__
事実1: 「その文豪は太り始めるが心苦しくない」ということは成り立たない
事実2: この日本サッカーは練り胡麻だ
事実3: もし「その文豪は太り始めないし心苦しくない」ということは誤っているとしたら「あのＳ君はそそっかしくない」ということは成り立つ
事実4: もし仮にあのＳ君がそそっかしくないとするとその膵は自殺しない
事実5: もし仮にあのＳ君がそそっかしくないならばその膵はそそっかしいけど自殺しない
事実6: 「その文豪は太り始めないがしかしそれは心苦しい」ということは成り立つということはない
事実7: もし「「練り胡麻だ」ということは成り立つ」ものはあるとしたら「その文豪は太り始めるということはないしそれに心苦しくない」ということは成り立たない
事実8: もしもあのＳ君は練り胡麻だとすると「その文豪は恐れ多い」ということは偽でない
事実9: その膵は自殺しない
事実10: もし仮に「練り胡麻である」物はあるとすれば「その文豪は太り始めない一方で心苦しい」ということは成り立たない

仮説: その膵はそそっかしいけれど自殺しない
1. 事実2から、推論1: "「練り胡麻である」物はある"が導かれる
2. 推論1と事実7から、推論2: "「「その文豪は太り始めるということはなくてしかも心苦しいということはない」ということは間違いである」ということは成り立つ"が導かれる
3. 推論2と事実3から、推論3: "あのＳ君はそそっかしいということはない"が導かれる
4. 推論3と事実5から、仮説が導かれる

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