この心室筋は哀れっぽくない
fact1: もしもなんらかの物が好ましくないかそれは保証料事務手数料であるかまたは両方であるならば哀れっぽいということはない fact2: この心室筋はぎごちなくないかまたは哀れっぽいかあるいは両方だ fact3: もし「この心室筋は好ましくないかそれは保証料事務手数料であるかもしくは両方ともだ」ということは事実と異なるとすればそのミールはぎごちない fact4: この営業譲渡等は結氷するかあるいはそれはぎごちなくない fact5: もしあの種々相が事故死するとするとこの営業譲渡等は事故死する fact6: もし仮になにかは冴えないとしたら塩辛くないし引退でない fact7: もしも何らかのものはぎごちないならば「「それは冴えるということはないかもしくはそれは哀れっぽいかあるいは両方である」ということは成り立つ」ということは間違いである fact8: もし何かは保証料事務手数料だとしたらそれは哀れっぽいということはない fact9: その丸出しは成り易くない fact10: その別格はぎごちなくない fact11: もしなにがしかの物は引退でないとするとそれは事故死するかもしくは寂しい fact12: もしもそのインシデントが塩辛くないしさらに引退でないならあの種々相は引退だということはない fact13: その亀虎古墳は哀れっぽくない fact14: もし仮にこの営業譲渡等はぎごちなくないとするとそのミールはぎごちない fact15: もし仮になにがしかのものが学習スタイルでないとしたらぎごちないし哀れっぽい fact16: もしもあの種々相が寂しいならばこの営業譲渡等は事故死する fact17: そのミールはぎごちなくないとしたらこの心室筋はぎごちなくない fact18: 仮に「この営業譲渡等は結氷する」ということは真実だとするとそのミールはぎごちなくない fact19: もしこの営業譲渡等はぎごちないということはないならばそのミールはぎごちなくない fact20: 「この心室筋は保証料事務手数料でない」ということは確かだ fact21: 成り易くない物は香ばしいし個人教授だ fact22: その丸出しが香ばしいとするとそのインシデントは喫煙者だということはないし冴えない fact23: もしこの心室筋は保証料事務手数料であるとするとそれは哀れっぽくない fact24: この営業譲渡等は事故死すれば「そのミールは科するがしかし結氷しない」ということは間違いだ
void -> assump1: 以下のように仮定する。「この心室筋は好ましくないか保証料事務手数料であるかもしくは両方である」ということは事実と異なる; fact3 & assump1 -> int1: そのミールはぎごちない; fact4 & fact19 & fact18 -> int2: 「そのミールはぎごちなくない」ということは本当だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この心室筋は好ましくないかもしくは保証料事務手数料である; fact1 -> int5: もしこの心室筋は好ましくないかあるいは保証料事務手数料であるかもしくはどちらもであるとしたらそれは哀れっぽくない; int4 & int5 -> hypothesis;
「あの過失は冴えないかあるいは哀れっぽい」ということは誤っている
fact25 -> int6: もし「あの過失はぎごちない」ということは確かだとすれば「それは冴えないかまたは哀れっぽいかまたは両方ともである」ということは事実と異なる;
$facts$ = fact1: もしもなんらかの物が好ましくないかそれは保証料事務手数料であるかまたは両方であるならば哀れっぽいということはない fact2: この心室筋はぎごちなくないかまたは哀れっぽいかあるいは両方だ fact3: もし「この心室筋は好ましくないかそれは保証料事務手数料であるかもしくは両方ともだ」ということは事実と異なるとすればそのミールはぎごちない fact4: この営業譲渡等は結氷するかあるいはそれはぎごちなくない fact5: もしあの種々相が事故死するとするとこの営業譲渡等は事故死する fact6: もし仮になにかは冴えないとしたら塩辛くないし引退でない fact7: もしも何らかのものはぎごちないならば「「それは冴えるということはないかもしくはそれは哀れっぽいかあるいは両方である」ということは成り立つ」ということは間違いである fact8: もし何かは保証料事務手数料だとしたらそれは哀れっぽいということはない fact9: その丸出しは成り易くない fact10: その別格はぎごちなくない fact11: もしなにがしかの物は引退でないとするとそれは事故死するかもしくは寂しい fact12: もしもそのインシデントが塩辛くないしさらに引退でないならあの種々相は引退だということはない fact13: その亀虎古墳は哀れっぽくない fact14: もし仮にこの営業譲渡等はぎごちなくないとするとそのミールはぎごちない fact15: もし仮になにがしかのものが学習スタイルでないとしたらぎごちないし哀れっぽい fact16: もしもあの種々相が寂しいならばこの営業譲渡等は事故死する fact17: そのミールはぎごちなくないとしたらこの心室筋はぎごちなくない fact18: 仮に「この営業譲渡等は結氷する」ということは真実だとするとそのミールはぎごちなくない fact19: もしこの営業譲渡等はぎごちないということはないならばそのミールはぎごちなくない fact20: 「この心室筋は保証料事務手数料でない」ということは確かだ fact21: 成り易くない物は香ばしいし個人教授だ fact22: その丸出しが香ばしいとするとそのインシデントは喫煙者だということはないし冴えない fact23: もしこの心室筋は保証料事務手数料であるとするとそれは哀れっぽくない fact24: この営業譲渡等は事故死すれば「そのミールは科するがしかし結氷しない」ということは間違いだ ; $hypothesis$ = この心室筋は哀れっぽくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この心室筋は好ましくないか保証料事務手数料であるかもしくは両方である」ということは事実と異なる; fact3 & assump1 -> int1: そのミールはぎごちない; fact4 & fact19 & fact18 -> int2: 「そのミールはぎごちなくない」ということは本当だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この心室筋は好ましくないかもしくは保証料事務手数料である; fact1 -> int5: もしこの心室筋は好ましくないかあるいは保証料事務手数料であるかもしくはどちらもであるとしたらそれは哀れっぽくない; int4 & int5 -> hypothesis; __PROVED__
事実1: もしもなんらかの物が好ましくないかそれは保証料事務手数料であるかまたは両方であるならば哀れっぽいということはない
事実2: この心室筋はぎごちなくないかまたは哀れっぽいかあるいは両方だ
事実3: もし「この心室筋は好ましくないかそれは保証料事務手数料であるかもしくは両方ともだ」ということは事実と異なるとすればそのミールはぎごちない
事実4: この営業譲渡等は結氷するかあるいはそれはぎごちなくない
事実5: もしあの種々相が事故死するとするとこの営業譲渡等は事故死する
事実6: もし仮になにかは冴えないとしたら塩辛くないし引退でない
事実7: もしも何らかのものはぎごちないならば「「それは冴えるということはないかもしくはそれは哀れっぽいかあるいは両方である」ということは成り立つ」ということは間違いである
事実8: もし何かは保証料事務手数料だとしたらそれは哀れっぽいということはない
事実9: その丸出しは成り易くない
事実10: その別格はぎごちなくない
事実11: もしなにがしかの物は引退でないとするとそれは事故死するかもしくは寂しい
事実12: もしもそのインシデントが塩辛くないしさらに引退でないならあの種々相は引退だということはない
事実13: その亀虎古墳は哀れっぽくない
事実14: もし仮にこの営業譲渡等はぎごちなくないとするとそのミールはぎごちない
事実15: もし仮になにがしかのものが学習スタイルでないとしたらぎごちないし哀れっぽい
事実16: もしもあの種々相が寂しいならばこの営業譲渡等は事故死する
事実17: そのミールはぎごちなくないとしたらこの心室筋はぎごちなくない
事実18: 仮に「この営業譲渡等は結氷する」ということは真実だとするとそのミールはぎごちなくない
事実19: もしこの営業譲渡等はぎごちないということはないならばそのミールはぎごちなくない
事実20: 「この心室筋は保証料事務手数料でない」ということは確かだ
事実21: 成り易くない物は香ばしいし個人教授だ
事実22: その丸出しが香ばしいとするとそのインシデントは喫煙者だということはないし冴えない
事実23: もしこの心室筋は保証料事務手数料であるとするとそれは哀れっぽくない
事実24: この営業譲渡等は事故死すれば「そのミールは科するがしかし結氷しない」ということは間違いだ

仮説: この心室筋は哀れっぽくない
1. 仮定1: 以下のように仮定する。「この心室筋は好ましくないか保証料事務手数料であるかもしくは両方である」ということは事実と異なる
2. 事実3と仮定1から、推論1: "そのミールはぎごちない"が導かれる
3. 事実4と事実19と事実18から、推論2: "「そのミールはぎごちなくない」ということは本当だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この心室筋は好ましくないかもしくは保証料事務手数料である"が導かれる
6. 事実1から、推論5: "もしこの心室筋は好ましくないかあるいは保証料事務手数料であるかもしくはどちらもであるとしたらそれは哀れっぽくない"が導かれる
7. 推論4と推論5から、仮説が導かれる

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