このヒーローは潜航しないけれど引き難い
fact1: この姦通罪は描き易い fact2: この姦通罪は悲しいし描き易い fact3: この姦通罪は引き難い fact4: 「ある物はＳＭ癌である」ということは間違っていないとすればそれは描き易いかもしくは三都でないかあるいは両方ともだ fact5: 仮に「「機能分化するしかつ論う」ということは偽な」物があればその社会保険制度は継続しない fact6: もし仮に何らかのものは驚嘆すらないなら「それは機能分化するししかもそれは論う」ということは偽だ fact7: 何かは描き易い fact8: もしその社会保険制度がめでたいならばその専門チームはＳＭ癌である fact9: 「「過不足無いということはないししかも眠たくない」ということは本当でない」物はある fact10: あの船舶は敢う fact11: 「「過不足無くなくて眠たくない」ということは偽である」ものがあるとするとこのリワーク性は驚嘆すらない fact12: もしとあるものが継続しないとしたらそれはめでたいしそれは油っぽい fact13: 仮にとあるものが悲しいとしたらこのヒーローは潜航しない一方でそれは引き難い fact14: もしもこの姦通罪は悲しくないなら「このヒーローは潜航しないけど引き難い」ということは間違っている fact15: もし仮に「潜航する」物があるとしたらこの姦通罪は悲しくない一方で引き難い fact16: もしも何らかのものが潜航するならそれは忌ま忌ましい fact17: 悲しい物があるならこのヒーローは潜航しない fact18: このヒーローは潜航するということはない fact19: もし仮に「潜航する」物があるとするとこのヒーローは引き難くないが悲しい
fact2 -> int1: この姦通罪は悲しい; int1 -> int2: 「悲しい」ものはある; int2 & fact13 -> hypothesis;
あの休みは忌ま忌ましいしそれは大局である
fact20 -> int3: 仮にあの休みが潜航するとすると忌ま忌ましい;
$facts$ = fact1: この姦通罪は描き易い fact2: この姦通罪は悲しいし描き易い fact3: この姦通罪は引き難い fact4: 「ある物はＳＭ癌である」ということは間違っていないとすればそれは描き易いかもしくは三都でないかあるいは両方ともだ fact5: 仮に「「機能分化するしかつ論う」ということは偽な」物があればその社会保険制度は継続しない fact6: もし仮に何らかのものは驚嘆すらないなら「それは機能分化するししかもそれは論う」ということは偽だ fact7: 何かは描き易い fact8: もしその社会保険制度がめでたいならばその専門チームはＳＭ癌である fact9: 「「過不足無いということはないししかも眠たくない」ということは本当でない」物はある fact10: あの船舶は敢う fact11: 「「過不足無くなくて眠たくない」ということは偽である」ものがあるとするとこのリワーク性は驚嘆すらない fact12: もしとあるものが継続しないとしたらそれはめでたいしそれは油っぽい fact13: 仮にとあるものが悲しいとしたらこのヒーローは潜航しない一方でそれは引き難い fact14: もしもこの姦通罪は悲しくないなら「このヒーローは潜航しないけど引き難い」ということは間違っている fact15: もし仮に「潜航する」物があるとしたらこの姦通罪は悲しくない一方で引き難い fact16: もしも何らかのものが潜航するならそれは忌ま忌ましい fact17: 悲しい物があるならこのヒーローは潜航しない fact18: このヒーローは潜航するということはない fact19: もし仮に「潜航する」物があるとするとこのヒーローは引き難くないが悲しい ; $hypothesis$ = このヒーローは潜航しないけれど引き難い ; $proof$ = 
fact2 -> int1: この姦通罪は悲しい; int1 -> int2: 「悲しい」ものはある; int2 & fact13 -> hypothesis; __PROVED__
事実1: この姦通罪は描き易い
事実2: この姦通罪は悲しいし描き易い
事実3: この姦通罪は引き難い
事実4: 「ある物はＳＭ癌である」ということは間違っていないとすればそれは描き易いかもしくは三都でないかあるいは両方ともだ
事実5: 仮に「「機能分化するしかつ論う」ということは偽な」物があればその社会保険制度は継続しない
事実6: もし仮に何らかのものは驚嘆すらないなら「それは機能分化するししかもそれは論う」ということは偽だ
事実7: 何かは描き易い
事実8: もしその社会保険制度がめでたいならばその専門チームはＳＭ癌である
事実9: 「「過不足無いということはないししかも眠たくない」ということは本当でない」物はある
事実10: あの船舶は敢う
事実11: 「「過不足無くなくて眠たくない」ということは偽である」ものがあるとするとこのリワーク性は驚嘆すらない
事実12: もしとあるものが継続しないとしたらそれはめでたいしそれは油っぽい
事実13: 仮にとあるものが悲しいとしたらこのヒーローは潜航しない一方でそれは引き難い
事実14: もしもこの姦通罪は悲しくないなら「このヒーローは潜航しないけど引き難い」ということは間違っている
事実15: もし仮に「潜航する」物があるとしたらこの姦通罪は悲しくない一方で引き難い
事実16: もしも何らかのものが潜航するならそれは忌ま忌ましい
事実17: 悲しい物があるならこのヒーローは潜航しない
事実18: このヒーローは潜航するということはない
事実19: もし仮に「潜航する」物があるとするとこのヒーローは引き難くないが悲しい

仮説: このヒーローは潜航しないけれど引き難い
1. 事実2から、推論1: "この姦通罪は悲しい"が導かれる
2. 推論1から、推論2: "「悲しい」ものはある"が導かれる
3. 推論2と事実13から、仮説が導かれる

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