あのハーフコートはめでたくない
fact1: もしもあの胸腹部が心地良いとするとあのハーフコートは阻害する fact2: もしなんらかのものが生温かいなら影響され易い fact3: 「侵入で更に重視す」物はある fact4: 「「あのハーフコートは得しないし更に影響され易くない」ということは確かである」ということは嘘である fact5: もし「とあるものは心地良いしまためでたい」ということは嘘であるとしたら「それはめでたくない」ということは本当である fact6: 仮にあるものは生温かくないとすると「それは心地良くてまたそれはめでたい」ということは成り立たない fact7: 仮に「「侵入であるし重視す」ということは成り立つということはない」ものがあるとしたらあの写真家は生温かい fact8: 「あのハーフコートは得しないけどそれは影響され易い」ということは本当でない fact9: もしあの写真家が生温かいとするとあの胸腹部は心地良い fact10: もしも「あの胸腹部は得しない」ということは事実ならば「あの写真家は影響され易くないけど阻害する」ということは成り立たない fact11: 「「侵入であるしそれに重視す」ということは事実と異なる」ものはある fact12: もし仮にとあるものは阻害するがめでたくないとしたら影響され易くない fact13: 「あのハーフコートは得しないしさらに影響され易くない」ということは事実と異なるとすれば影響され易い
fact11 & fact7 -> int1: あの写真家は生温かい; int1 & fact9 -> int2: あの胸腹部は心地良い; int2 & fact1 -> int3: あのハーフコートは阻害する; void -> assump1: 以下のように仮定する。あのハーフコートはめでたくない; int3 & assump1 -> int4: あのハーフコートは阻害するけどそれはめでたくない; fact12 -> int5: もしもあのハーフコートが阻害するけどめでたくないとするとそれは影響され易くない; int4 & int5 -> int6: あのハーフコートは影響され易くない; fact4 & fact13 -> int7: あのハーフコートは影響され易い; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
あのハーフコートはめでたいということはない
fact14 -> int9: もし「あのハーフコートは心地良くてめでたい」ということは誤りならばめでたくない; fact16 -> int10: もし「あのハーフコートは生温かくない」ということは本当だとしたら「それは心地良いしそれはめでたい」ということは事実と異なる;
$facts$ = fact1: もしもあの胸腹部が心地良いとするとあのハーフコートは阻害する fact2: もしなんらかのものが生温かいなら影響され易い fact3: 「侵入で更に重視す」物はある fact4: 「「あのハーフコートは得しないし更に影響され易くない」ということは確かである」ということは嘘である fact5: もし「とあるものは心地良いしまためでたい」ということは嘘であるとしたら「それはめでたくない」ということは本当である fact6: 仮にあるものは生温かくないとすると「それは心地良くてまたそれはめでたい」ということは成り立たない fact7: 仮に「「侵入であるし重視す」ということは成り立つということはない」ものがあるとしたらあの写真家は生温かい fact8: 「あのハーフコートは得しないけどそれは影響され易い」ということは本当でない fact9: もしあの写真家が生温かいとするとあの胸腹部は心地良い fact10: もしも「あの胸腹部は得しない」ということは事実ならば「あの写真家は影響され易くないけど阻害する」ということは成り立たない fact11: 「「侵入であるしそれに重視す」ということは事実と異なる」ものはある fact12: もし仮にとあるものは阻害するがめでたくないとしたら影響され易くない fact13: 「あのハーフコートは得しないしさらに影響され易くない」ということは事実と異なるとすれば影響され易い ; $hypothesis$ = あのハーフコートはめでたくない ; $proof$ = 
fact11 & fact7 -> int1: あの写真家は生温かい; int1 & fact9 -> int2: あの胸腹部は心地良い; int2 & fact1 -> int3: あのハーフコートは阻害する; void -> assump1: 以下のように仮定する。あのハーフコートはめでたくない; int3 & assump1 -> int4: あのハーフコートは阻害するけどそれはめでたくない; fact12 -> int5: もしもあのハーフコートが阻害するけどめでたくないとするとそれは影響され易くない; int4 & int5 -> int6: あのハーフコートは影響され易くない; fact4 & fact13 -> int7: あのハーフコートは影響され易い; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: もしもあの胸腹部が心地良いとするとあのハーフコートは阻害する
事実2: もしなんらかのものが生温かいなら影響され易い
事実3: 「侵入で更に重視す」物はある
事実4: 「「あのハーフコートは得しないし更に影響され易くない」ということは確かである」ということは嘘である
事実5: もし「とあるものは心地良いしまためでたい」ということは嘘であるとしたら「それはめでたくない」ということは本当である
事実6: 仮にあるものは生温かくないとすると「それは心地良くてまたそれはめでたい」ということは成り立たない
事実7: 仮に「「侵入であるし重視す」ということは成り立つということはない」ものがあるとしたらあの写真家は生温かい
事実8: 「あのハーフコートは得しないけどそれは影響され易い」ということは本当でない
事実9: もしあの写真家が生温かいとするとあの胸腹部は心地良い
事実10: もしも「あの胸腹部は得しない」ということは事実ならば「あの写真家は影響され易くないけど阻害する」ということは成り立たない
事実11: 「「侵入であるしそれに重視す」ということは事実と異なる」ものはある
事実12: もし仮にとあるものは阻害するがめでたくないとしたら影響され易くない
事実13: 「あのハーフコートは得しないしさらに影響され易くない」ということは事実と異なるとすれば影響され易い

仮説: あのハーフコートはめでたくない
1. 事実11と事実7から、推論1: "あの写真家は生温かい"が導かれる
2. 推論1と事実9から、推論2: "あの胸腹部は心地良い"が導かれる
3. 推論2と事実1から、推論3: "あのハーフコートは阻害する"が導かれる
4. 仮定1: 以下のように仮定する。あのハーフコートはめでたくない
5. 推論3と仮定1から、推論4: "あのハーフコートは阻害するけどそれはめでたくない"が導かれる
6. 事実12から、推論5: "もしもあのハーフコートが阻害するけどめでたくないとするとそれは影響され易くない"が導かれる
7. 推論4と推論5から、推論6: "あのハーフコートは影響され易くない"が導かれる
8. 事実4と事実13から、推論7: "あのハーフコートは影響され易い"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

よって、仮説が否定されました。