「「その馬王堆本乙は自我意識であるしまた敏感問題だ」ということは本当だ」ということは成り立たない
fact1: もしあの作家さんがけばけばしくないならばそれはかりっとするけれど躍らさない fact2: その副腎疾患は具現化しなくて漏れ無くない fact3: その馬王堆本乙は空白期間であるということはない fact4: もしもそのバーラーチャッティー郡マンファル村生まれが敏感問題でないならばその馬王堆本乙は敏感問題だ fact5: 「その牛乳パックはボクシーでない」ということは成り立つ fact6: もし仮にその馬王堆本乙はボクシーでないとしたら「自我意識であるしそれに敏感問題である」ということは嘘だ fact7: もしとあるものが憂慮するかあるいはそれがボクシーであるとするとその馬王堆本乙は自我意識だ fact8: 「「その馬王堆本乙は憂慮するし更にそれは疎い」ということは成り立つ」ということは偽だ fact9: もしなにかは具現化しないとするとそれは憂慮するかまたはボクシーだ fact10: その馬王堆本乙はボクシーでない fact11: その水飲み場は自我意識でない
fact6 & fact10 -> hypothesis;
その馬王堆本乙は自我意識でそれに敏感問題である
fact15 -> int1: もしもその副腎疾患が具現化しないならそれは憂慮するかもしくはそれはボクシーである; fact12 -> int2: 「その副腎疾患は具現化するということはない」ということは事実である; int1 & int2 -> int3: その副腎疾患は憂慮するかボクシーであるかまたは両方だ; int3 -> int4: 「憂慮するかボクシーであるかまたは両方な」ものはある; int4 & fact14 -> int5: その馬王堆本乙は自我意識である;
$facts$ = fact1: もしあの作家さんがけばけばしくないならばそれはかりっとするけれど躍らさない fact2: その副腎疾患は具現化しなくて漏れ無くない fact3: その馬王堆本乙は空白期間であるということはない fact4: もしもそのバーラーチャッティー郡マンファル村生まれが敏感問題でないならばその馬王堆本乙は敏感問題だ fact5: 「その牛乳パックはボクシーでない」ということは成り立つ fact6: もし仮にその馬王堆本乙はボクシーでないとしたら「自我意識であるしそれに敏感問題である」ということは嘘だ fact7: もしとあるものが憂慮するかあるいはそれがボクシーであるとするとその馬王堆本乙は自我意識だ fact8: 「「その馬王堆本乙は憂慮するし更にそれは疎い」ということは成り立つ」ということは偽だ fact9: もしなにかは具現化しないとするとそれは憂慮するかまたはボクシーだ fact10: その馬王堆本乙はボクシーでない fact11: その水飲み場は自我意識でない ; $hypothesis$ = 「「その馬王堆本乙は自我意識であるしまた敏感問題だ」ということは本当だ」ということは成り立たない ; $proof$ = 
fact6 & fact10 -> hypothesis; __PROVED__
事実1: もしあの作家さんがけばけばしくないならばそれはかりっとするけれど躍らさない
事実2: その副腎疾患は具現化しなくて漏れ無くない
事実3: その馬王堆本乙は空白期間であるということはない
事実4: もしもそのバーラーチャッティー郡マンファル村生まれが敏感問題でないならばその馬王堆本乙は敏感問題だ
事実5: 「その牛乳パックはボクシーでない」ということは成り立つ
事実6: もし仮にその馬王堆本乙はボクシーでないとしたら「自我意識であるしそれに敏感問題である」ということは嘘だ
事実7: もしとあるものが憂慮するかあるいはそれがボクシーであるとするとその馬王堆本乙は自我意識だ
事実8: 「「その馬王堆本乙は憂慮するし更にそれは疎い」ということは成り立つ」ということは偽だ
事実9: もしなにかは具現化しないとするとそれは憂慮するかまたはボクシーだ
事実10: その馬王堆本乙はボクシーでない
事実11: その水飲み場は自我意識でない

仮説: 「「その馬王堆本乙は自我意識であるしまた敏感問題だ」ということは本当だ」ということは成り立たない
1. 事実6と事実10から、仮説が導かれる

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