このキスは鬱状態だ
fact1: その平手打ちは同・看護業務でないけれどそれは裸婦像である fact2: もしも「掻き口説かない」物はあるとしたら「この輸出価格は覚え難いが特筆しない」ということは偽だ fact3: あの肉食は切り捨てない fact4: 仮にこの輸出価格が掴み難くないならそのガラス鐘は進攻するということはないけれど掴み難い fact5: 「もしも「なにかは覚え難いが特筆しない」ということは誤っているなら掴み難くない」ということは真実である fact6: そのガラス鐘が進攻しないけれどそれが掴み難いとしたらこのキスは鬱状態である fact7: もし仮に「その平手打ちは掴み難いかあるいはそれは覚え難いかもしくは両方だ」ということは間違っているとするとあの肉食は掻き口説くということはない fact8: もし仮にこの輸出価格が掴み難くないならばそのガラス鐘は掴み難い fact9: もしもあるものが羨ましがらないとすればそれは進攻しないし鬱状態だ fact10: その平手打ちは同・看護業務だということはない fact11: 仮になんらかの物が掻き口説かないとすると裸婦像であるしおまけにそれは特筆する fact12: 仮に「掻き口説かない」ものはあるとすると「この輸出価格は覚え難いししかも特筆する」ということは嘘である fact13: もしその平手打ちが同・看護業務でないけど裸婦像ならば掻き口説かない
fact13 & fact1 -> int1: その平手打ちは掻き口説かない; int1 -> int2: 「掻き口説かない」物はある; int2 & fact2 -> int3: 「この輸出価格は覚え難いがしかし特筆するということはない」ということは誤りだ; fact5 -> int4: 「この輸出価格は覚え難いが特筆するということはない」ということは偽であるとすると掴み難くない; int3 & int4 -> int5: 「この輸出価格は掴み難くない」ということは成り立つ; int5 & fact4 -> int6: そのガラス鐘は進攻しないが掴み難い; int6 & fact6 -> hypothesis;
「あの肉食は切り捨てないがしかし裸婦像だ」ということは成り立つ
fact16 -> int7: もしも「そのガラス鐘は羨ましがらない」ということは真実であるとしたら進攻しないがしかし鬱状態である; fact17 -> int8: もし仮にあの肉食が掻き口説かないならばそれは裸婦像で更に特筆する;
$facts$ = fact1: その平手打ちは同・看護業務でないけれどそれは裸婦像である fact2: もしも「掻き口説かない」物はあるとしたら「この輸出価格は覚え難いが特筆しない」ということは偽だ fact3: あの肉食は切り捨てない fact4: 仮にこの輸出価格が掴み難くないならそのガラス鐘は進攻するということはないけれど掴み難い fact5: 「もしも「なにかは覚え難いが特筆しない」ということは誤っているなら掴み難くない」ということは真実である fact6: そのガラス鐘が進攻しないけれどそれが掴み難いとしたらこのキスは鬱状態である fact7: もし仮に「その平手打ちは掴み難いかあるいはそれは覚え難いかもしくは両方だ」ということは間違っているとするとあの肉食は掻き口説くということはない fact8: もし仮にこの輸出価格が掴み難くないならばそのガラス鐘は掴み難い fact9: もしもあるものが羨ましがらないとすればそれは進攻しないし鬱状態だ fact10: その平手打ちは同・看護業務だということはない fact11: 仮になんらかの物が掻き口説かないとすると裸婦像であるしおまけにそれは特筆する fact12: 仮に「掻き口説かない」ものはあるとすると「この輸出価格は覚え難いししかも特筆する」ということは嘘である fact13: もしその平手打ちが同・看護業務でないけど裸婦像ならば掻き口説かない ; $hypothesis$ = このキスは鬱状態だ ; $proof$ = 
fact13 & fact1 -> int1: その平手打ちは掻き口説かない; int1 -> int2: 「掻き口説かない」物はある; int2 & fact2 -> int3: 「この輸出価格は覚え難いがしかし特筆するということはない」ということは誤りだ; fact5 -> int4: 「この輸出価格は覚え難いが特筆するということはない」ということは偽であるとすると掴み難くない; int3 & int4 -> int5: 「この輸出価格は掴み難くない」ということは成り立つ; int5 & fact4 -> int6: そのガラス鐘は進攻しないが掴み難い; int6 & fact6 -> hypothesis; __PROVED__
事実1: その平手打ちは同・看護業務でないけれどそれは裸婦像である
事実2: もしも「掻き口説かない」物はあるとしたら「この輸出価格は覚え難いが特筆しない」ということは偽だ
事実3: あの肉食は切り捨てない
事実4: 仮にこの輸出価格が掴み難くないならそのガラス鐘は進攻するということはないけれど掴み難い
事実5: 「もしも「なにかは覚え難いが特筆しない」ということは誤っているなら掴み難くない」ということは真実である
事実6: そのガラス鐘が進攻しないけれどそれが掴み難いとしたらこのキスは鬱状態である
事実7: もし仮に「その平手打ちは掴み難いかあるいはそれは覚え難いかもしくは両方だ」ということは間違っているとするとあの肉食は掻き口説くということはない
事実8: もし仮にこの輸出価格が掴み難くないならばそのガラス鐘は掴み難い
事実9: もしもあるものが羨ましがらないとすればそれは進攻しないし鬱状態だ
事実10: その平手打ちは同・看護業務だということはない
事実11: 仮になんらかの物が掻き口説かないとすると裸婦像であるしおまけにそれは特筆する
事実12: 仮に「掻き口説かない」ものはあるとすると「この輸出価格は覚え難いししかも特筆する」ということは嘘である
事実13: もしその平手打ちが同・看護業務でないけど裸婦像ならば掻き口説かない

仮説: このキスは鬱状態だ
1. 事実13と事実1から、推論1: "その平手打ちは掻き口説かない"が導かれる
2. 推論1から、推論2: "「掻き口説かない」物はある"が導かれる
3. 推論2と事実2から、推論3: "「この輸出価格は覚え難いがしかし特筆するということはない」ということは誤りだ"が導かれる
4. 事実5から、推論4: "「この輸出価格は覚え難いが特筆するということはない」ということは偽であるとすると掴み難くない"が導かれる
5. 推論3と推論4から、推論5: "「この輸出価格は掴み難くない」ということは成り立つ"が導かれる
6. 推論5と事実4から、推論6: "そのガラス鐘は進攻しないが掴み難い"が導かれる
7. 推論6と事実6から、仮説が導かれる

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