「あの付着は短絡的過ぎないけれど発症し易い」ということは成り立たない
fact1: もし仮にあの医療関係者はギャルでないなら「あの付着は短絡的過ぎないけど発症し易い」ということは間違いだ fact2: 仮にその埋め込みグラフが惨めったらしくないとすればあのエッチは自動算出しないしかつ入り辛くない fact3: その埋め込みグラフは甘いということはなくて自動算出しない fact4: 仮に「このエッチは入り辛いがしかし咳払いしない」ということは事実と異なればそれは入り辛くない fact5: その埋め込みグラフは空々しかない fact6: その埋め込みグラフが空々しいということはないとすればあくどくてそれは甘いということはない fact7: もし仮に何らかのものがあくどいけれどそれが甘くないとするとそれは惨めったらしいということはない fact8: 「その埋め込みグラフは疎くない」ということは事実だ fact9: このエッチは短絡的過ぎない fact10: 「このエッチは自動算出するし加えてそれは短絡的過ぎる」ということは成り立たない fact11: このエッチが空々しかないし入り辛くないとするとその埋め込みグラフは甘くない fact12: もしこのエッチが自動算出しないしその上入り辛いということはないとするとあの医療関係者はギャルでない fact13: 「このエッチは入り辛いがしかし咳払いしない」ということは成り立たない fact14: あの付着は向かい合わせないしそれに若手作家でない fact15: あの末法は発症し易くない fact16: もしもなんらかのものは短絡的過ぎるが自動算出しないとすれば空々しかない
fact6 & fact5 -> int1: その埋め込みグラフはあくどいがしかし甘くない; fact7 -> int2: 仮にその埋め込みグラフがあくどいけれどそれが甘くないとするとそれは惨めったらしいということはない; int1 & int2 -> int3: その埋め込みグラフは惨めったらしくない; int3 & fact2 -> int4: このエッチは自動算出しないしかつ入り辛くない; int4 & fact12 -> int5: あの医療関係者はギャルでない; int5 & fact1 -> hypothesis;
あの付着は短絡的過ぎない一方で発症し易い
fact17 & fact18 -> int6: このエッチは入り辛くない; int6 -> int7: 何らかのものは入り辛いということはない;
$facts$ = fact1: もし仮にあの医療関係者はギャルでないなら「あの付着は短絡的過ぎないけど発症し易い」ということは間違いだ fact2: 仮にその埋め込みグラフが惨めったらしくないとすればあのエッチは自動算出しないしかつ入り辛くない fact3: その埋め込みグラフは甘いということはなくて自動算出しない fact4: 仮に「このエッチは入り辛いがしかし咳払いしない」ということは事実と異なればそれは入り辛くない fact5: その埋め込みグラフは空々しかない fact6: その埋め込みグラフが空々しいということはないとすればあくどくてそれは甘いということはない fact7: もし仮に何らかのものがあくどいけれどそれが甘くないとするとそれは惨めったらしいということはない fact8: 「その埋め込みグラフは疎くない」ということは事実だ fact9: このエッチは短絡的過ぎない fact10: 「このエッチは自動算出するし加えてそれは短絡的過ぎる」ということは成り立たない fact11: このエッチが空々しかないし入り辛くないとするとその埋め込みグラフは甘くない fact12: もしこのエッチが自動算出しないしその上入り辛いということはないとするとあの医療関係者はギャルでない fact13: 「このエッチは入り辛いがしかし咳払いしない」ということは成り立たない fact14: あの付着は向かい合わせないしそれに若手作家でない fact15: あの末法は発症し易くない fact16: もしもなんらかのものは短絡的過ぎるが自動算出しないとすれば空々しかない ; $hypothesis$ = 「あの付着は短絡的過ぎないけれど発症し易い」ということは成り立たない ; $proof$ = 
fact6 & fact5 -> int1: その埋め込みグラフはあくどいがしかし甘くない; fact7 -> int2: 仮にその埋め込みグラフがあくどいけれどそれが甘くないとするとそれは惨めったらしいということはない; int1 & int2 -> int3: その埋め込みグラフは惨めったらしくない; int3 & fact2 -> int4: このエッチは自動算出しないしかつ入り辛くない; int4 & fact12 -> int5: あの医療関係者はギャルでない; int5 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にあの医療関係者はギャルでないなら「あの付着は短絡的過ぎないけど発症し易い」ということは間違いだ
事実2: 仮にその埋め込みグラフが惨めったらしくないとすればあのエッチは自動算出しないしかつ入り辛くない
事実3: その埋め込みグラフは甘いということはなくて自動算出しない
事実4: 仮に「このエッチは入り辛いがしかし咳払いしない」ということは事実と異なればそれは入り辛くない
事実5: その埋め込みグラフは空々しかない
事実6: その埋め込みグラフが空々しいということはないとすればあくどくてそれは甘いということはない
事実7: もし仮に何らかのものがあくどいけれどそれが甘くないとするとそれは惨めったらしいということはない
事実8: 「その埋め込みグラフは疎くない」ということは事実だ
事実9: このエッチは短絡的過ぎない
事実10: 「このエッチは自動算出するし加えてそれは短絡的過ぎる」ということは成り立たない
事実11: このエッチが空々しかないし入り辛くないとするとその埋め込みグラフは甘くない
事実12: もしこのエッチが自動算出しないしその上入り辛いということはないとするとあの医療関係者はギャルでない
事実13: 「このエッチは入り辛いがしかし咳払いしない」ということは成り立たない
事実14: あの付着は向かい合わせないしそれに若手作家でない
事実15: あの末法は発症し易くない
事実16: もしもなんらかのものは短絡的過ぎるが自動算出しないとすれば空々しかない

仮説: 「あの付着は短絡的過ぎないけれど発症し易い」ということは成り立たない
1. 事実6と事実5から、推論1: "その埋め込みグラフはあくどいがしかし甘くない"が導かれる
2. 事実7から、推論2: "仮にその埋め込みグラフがあくどいけれどそれが甘くないとするとそれは惨めったらしいということはない"が導かれる
3. 推論1と推論2から、推論3: "その埋め込みグラフは惨めったらしくない"が導かれる
4. 推論3と事実2から、推論4: "このエッチは自動算出しないしかつ入り辛くない"が導かれる
5. 推論4と事実12から、推論5: "あの医療関係者はギャルでない"が導かれる
6. 推論5と事実1から、仮説が導かれる

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