あの貴方自身は上がり難い
fact1: もしとあるものが上がり難くないとするとそれは愛しくない fact2: もし仮にその夏祭りはか細いなら「入れ難い」ということは成り立つ fact3: その夏祭りはか細い fact4: 仮に入れ難いものが冷え込むならそれは上がり難くない fact5: もしもこの悪妻は愛しくないとすると「あの貴方自身は愛しくないし握り締めない」ということは間違いである fact6: 仮に「その夏祭りは採取しないけれど当たり難い」ということは成り立つということはないならこの悪妻は愛しくない fact7: 「その夏祭りは採取するしその上当たり難い」ということは事実と異なる fact8: 愛しい物は上がり難い fact9: もし「何らかの物は愛しくないし握り締めない」ということは成り立たないならばそれは上がり難い fact10: 「仮にその夏祭りが採取するとするとこの悪妻は愛しいということはない」ということは本当だ fact11: 仮にあの貴方自身が愛しいなら上がり難い fact12: 「その夏祭りは採取しないけれどそれは当たり難い」ということは事実と異なる fact13: もしもこの悪妻は愛しくないならば「あの貴方自身は愛しい一方でそれは握り締めない」ということは嘘である
fact6 & fact12 -> int1: この悪妻は愛しくない; int1 & fact5 -> int2: 「「あの貴方自身が愛しくないしさらにそれは握り締めない」ということは成り立つ」ということは間違いだ; fact9 -> int3: 仮に「あの貴方自身は愛しくないしおまけに握り締めない」ということは成り立たないとしたら上がり難い; int2 & int3 -> hypothesis;
fact6 & fact12 -> int1: ¬{B}{b}; int1 & fact5 -> int2: ¬(¬{B}{c} & ¬{A}{c}); fact9 -> int3: ¬(¬{B}{c} & ¬{A}{c}) -> {C}{c}; int2 & int3 -> hypothesis;
「あの決定過程は握り締めないし更にそれは橋渡しでない」ということは成り立つということはない
fact16 -> int4: もし仮に「その夏祭りは上がり難くない」ということは成り立つなら「愛しくない」ということは成り立つ; fact17 -> int5: もしもその夏祭りが入れ難いししかもそれが冷え込むならそれは上がり難くない; fact15 & fact14 -> int6: その夏祭りは入れ難い;
$facts$ = fact1: もしとあるものが上がり難くないとするとそれは愛しくない fact2: もし仮にその夏祭りはか細いなら「入れ難い」ということは成り立つ fact3: その夏祭りはか細い fact4: 仮に入れ難いものが冷え込むならそれは上がり難くない fact5: もしもこの悪妻は愛しくないとすると「あの貴方自身は愛しくないし握り締めない」ということは間違いである fact6: 仮に「その夏祭りは採取しないけれど当たり難い」ということは成り立つということはないならこの悪妻は愛しくない fact7: 「その夏祭りは採取するしその上当たり難い」ということは事実と異なる fact8: 愛しい物は上がり難い fact9: もし「何らかの物は愛しくないし握り締めない」ということは成り立たないならばそれは上がり難い fact10: 「仮にその夏祭りが採取するとするとこの悪妻は愛しいということはない」ということは本当だ fact11: 仮にあの貴方自身が愛しいなら上がり難い fact12: 「その夏祭りは採取しないけれどそれは当たり難い」ということは事実と異なる fact13: もしもこの悪妻は愛しくないならば「あの貴方自身は愛しい一方でそれは握り締めない」ということは嘘である ; $hypothesis$ = あの貴方自身は上がり難い ; $proof$ = 
fact6 & fact12 -> int1: この悪妻は愛しくない; int1 & fact5 -> int2: 「「あの貴方自身が愛しくないしさらにそれは握り締めない」ということは成り立つ」ということは間違いだ; fact9 -> int3: 仮に「あの貴方自身は愛しくないしおまけに握り締めない」ということは成り立たないとしたら上がり難い; int2 & int3 -> hypothesis; __PROVED__
事実1: もしとあるものが上がり難くないとするとそれは愛しくない
事実2: もし仮にその夏祭りはか細いなら「入れ難い」ということは成り立つ
事実3: その夏祭りはか細い
事実4: 仮に入れ難いものが冷え込むならそれは上がり難くない
事実5: もしもこの悪妻は愛しくないとすると「あの貴方自身は愛しくないし握り締めない」ということは間違いである
事実6: 仮に「その夏祭りは採取しないけれど当たり難い」ということは成り立つということはないならこの悪妻は愛しくない
事実7: 「その夏祭りは採取するしその上当たり難い」ということは事実と異なる
事実8: 愛しい物は上がり難い
事実9: もし「何らかの物は愛しくないし握り締めない」ということは成り立たないならばそれは上がり難い
事実10: 「仮にその夏祭りが採取するとするとこの悪妻は愛しいということはない」ということは本当だ
事実11: 仮にあの貴方自身が愛しいなら上がり難い
事実12: 「その夏祭りは採取しないけれどそれは当たり難い」ということは事実と異なる
事実13: もしもこの悪妻は愛しくないならば「あの貴方自身は愛しい一方でそれは握り締めない」ということは嘘である

仮説: あの貴方自身は上がり難い
1. 事実6と事実12から、推論1: "この悪妻は愛しくない"が導かれる
2. 推論1と事実5から、推論2: "「「あの貴方自身が愛しくないしさらにそれは握り締めない」ということは成り立つ」ということは間違いだ"が導かれる
3. 事実9から、推論3: "仮に「あの貴方自身は愛しくないしおまけに握り締めない」ということは成り立たないとしたら上がり難い"が導かれる
4. 推論2と推論3から、仮説が導かれる

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