あの中指は踏襲する
fact1: その露頭が教育方法だしそれに金主である fact2: 「この最敬礼はディープキスでない一方でそれは目配せする」ということは偽である fact3: 「あの聖人は目配せするしさらに並べ始める」ということは偽だ fact4: もし仮にその露頭が金主であるけどそれが加熱しないならそれは規制出来る fact5: 「あの中指は踏襲しない一方で目配せする」ということは偽だ fact6: もしこの最敬礼はディープキスだとしたら「あの聖人は目配せしないがそれは並べ始める」ということは間違っている fact7: もし仮にその露頭が規制出来るとすればあの聖人は洋でないし履行すらない fact8: その露頭は加熱しない fact9: この最敬礼はディープキスである fact10: 「あの聖人は目配せするということはないが並べ始める」ということは成り立たないとするとあの中指は踏襲する fact11: もしこの最敬礼はディープキスならば「あの聖人は目配せするしおまけに並べ始める」ということは成り立たない fact12: もし仮にあの聖人が目配せするとすればあの中指は踏襲する
fact6 & fact9 -> int1: 「あの聖人は目配せしないけど並べ始める」ということは嘘である; int1 & fact10 -> hypothesis;
fact6 & fact9 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact10 -> hypothesis;
あの中指は踏襲しない
fact15 -> int2: その露頭は金主である; int2 & fact16 -> int3: その露頭は金主だけど加熱しない; fact14 & int3 -> int4: その露頭は規制出来る; fact13 & int4 -> int5: あの聖人は洋でなくて履行すらない; int5 -> int6: あの聖人は履行すらない; int6 -> int7: 何らかのものは履行すらない;
$facts$ = fact1: その露頭が教育方法だしそれに金主である fact2: 「この最敬礼はディープキスでない一方でそれは目配せする」ということは偽である fact3: 「あの聖人は目配せするしさらに並べ始める」ということは偽だ fact4: もし仮にその露頭が金主であるけどそれが加熱しないならそれは規制出来る fact5: 「あの中指は踏襲しない一方で目配せする」ということは偽だ fact6: もしこの最敬礼はディープキスだとしたら「あの聖人は目配せしないがそれは並べ始める」ということは間違っている fact7: もし仮にその露頭が規制出来るとすればあの聖人は洋でないし履行すらない fact8: その露頭は加熱しない fact9: この最敬礼はディープキスである fact10: 「あの聖人は目配せするということはないが並べ始める」ということは成り立たないとするとあの中指は踏襲する fact11: もしこの最敬礼はディープキスならば「あの聖人は目配せするしおまけに並べ始める」ということは成り立たない fact12: もし仮にあの聖人が目配せするとすればあの中指は踏襲する ; $hypothesis$ = あの中指は踏襲する ; $proof$ = 
fact6 & fact9 -> int1: 「あの聖人は目配せしないけど並べ始める」ということは嘘である; int1 & fact10 -> hypothesis; __PROVED__
事実1: その露頭が教育方法だしそれに金主である
事実2: 「この最敬礼はディープキスでない一方でそれは目配せする」ということは偽である
事実3: 「あの聖人は目配せするしさらに並べ始める」ということは偽だ
事実4: もし仮にその露頭が金主であるけどそれが加熱しないならそれは規制出来る
事実5: 「あの中指は踏襲しない一方で目配せする」ということは偽だ
事実6: もしこの最敬礼はディープキスだとしたら「あの聖人は目配せしないがそれは並べ始める」ということは間違っている
事実7: もし仮にその露頭が規制出来るとすればあの聖人は洋でないし履行すらない
事実8: その露頭は加熱しない
事実9: この最敬礼はディープキスである
事実10: 「あの聖人は目配せするということはないが並べ始める」ということは成り立たないとするとあの中指は踏襲する
事実11: もしこの最敬礼はディープキスならば「あの聖人は目配せするしおまけに並べ始める」ということは成り立たない
事実12: もし仮にあの聖人が目配せするとすればあの中指は踏襲する

仮説: あの中指は踏襲する
1. 事実6と事実9から、推論1: "「あの聖人は目配せしないけど並べ始める」ということは嘘である"が導かれる
2. 推論1と事実10から、仮説が導かれる

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