その官展は欠け落ちる
fact1: もしもこの裸婦が欠け落ちるならばあの官展は脳領域である fact2: その形式知は欠け落ちる fact3: もし仮になにかは織り出さなくてしかも真白くないとすると「それは冗談っぽい」ということは間違いであるということはない fact4: 「もしもこのポートフォリオ・アプローチが織り出すとしたらあの内戦は織り出す」ということは成り立つ fact5: もしも「この裸婦はプレイ出来る一方で欠け落ちない」ということは成り立たないとするとその官展は欠け落ちない fact6: その官展は冗談っぽい fact7: 非難がましい物は織り出す fact8: この裸婦は冗談っぽい fact9: その工事中は冗談っぽい fact10: もしこの七万五千人は冗談っぽいなら「この裸婦はプレイ出来るがしかし欠け落ちない」ということは成り立たない fact11: あの酒飲みは欠け落ちる fact12: もしもこの裸婦が欠け落ちるとしたらその官展は冗談っぽい fact13: 「このヘパリンは非難がましい」ということは事実だ fact14: もしもこのヘパリンが非難がましいとするとこのポートフォリオ・アプローチは非難がましい fact15: もしこの裸婦が冗談っぽいならその官展は欠け落ちる fact16: あの内戦が織り出すとしたらこの七万五千人は織り出すということはない fact17: もし仮に何らかのものがティ・ショットするということはないとしたら真白くない
fact15 & fact8 -> hypothesis;
その官展は欠け落ちない
fact26 -> int1: もし仮にこの七万五千人は織り出さないし真白くないとするとそれは冗談っぽい; fact25 -> int2: 「このポートフォリオ・アプローチは非難がましい」ということは真実なら織り出す; fact22 & fact24 -> int3: 「このポートフォリオ・アプローチは非難がましい」ということは正しい; int2 & int3 -> int4: このポートフォリオ・アプローチは織り出す; fact20 & int4 -> int5: あの内戦は織り出す; fact21 & int5 -> int6: この七万五千人は織り出さない; fact19 -> int7: もし仮にこの七万五千人がティ・ショットしないとすると真白くない;
$facts$ = fact1: もしもこの裸婦が欠け落ちるならばあの官展は脳領域である fact2: その形式知は欠け落ちる fact3: もし仮になにかは織り出さなくてしかも真白くないとすると「それは冗談っぽい」ということは間違いであるということはない fact4: 「もしもこのポートフォリオ・アプローチが織り出すとしたらあの内戦は織り出す」ということは成り立つ fact5: もしも「この裸婦はプレイ出来る一方で欠け落ちない」ということは成り立たないとするとその官展は欠け落ちない fact6: その官展は冗談っぽい fact7: 非難がましい物は織り出す fact8: この裸婦は冗談っぽい fact9: その工事中は冗談っぽい fact10: もしこの七万五千人は冗談っぽいなら「この裸婦はプレイ出来るがしかし欠け落ちない」ということは成り立たない fact11: あの酒飲みは欠け落ちる fact12: もしもこの裸婦が欠け落ちるとしたらその官展は冗談っぽい fact13: 「このヘパリンは非難がましい」ということは事実だ fact14: もしもこのヘパリンが非難がましいとするとこのポートフォリオ・アプローチは非難がましい fact15: もしこの裸婦が冗談っぽいならその官展は欠け落ちる fact16: あの内戦が織り出すとしたらこの七万五千人は織り出すということはない fact17: もし仮に何らかのものがティ・ショットするということはないとしたら真白くない ; $hypothesis$ = その官展は欠け落ちる ; $proof$ = 
fact15 & fact8 -> hypothesis; __PROVED__
事実1: もしもこの裸婦が欠け落ちるならばあの官展は脳領域である
事実2: その形式知は欠け落ちる
事実3: もし仮になにかは織り出さなくてしかも真白くないとすると「それは冗談っぽい」ということは間違いであるということはない
事実4: 「もしもこのポートフォリオ・アプローチが織り出すとしたらあの内戦は織り出す」ということは成り立つ
事実5: もしも「この裸婦はプレイ出来る一方で欠け落ちない」ということは成り立たないとするとその官展は欠け落ちない
事実6: その官展は冗談っぽい
事実7: 非難がましい物は織り出す
事実8: この裸婦は冗談っぽい
事実9: その工事中は冗談っぽい
事実10: もしこの七万五千人は冗談っぽいなら「この裸婦はプレイ出来るがしかし欠け落ちない」ということは成り立たない
事実11: あの酒飲みは欠け落ちる
事実12: もしもこの裸婦が欠け落ちるとしたらその官展は冗談っぽい
事実13: 「このヘパリンは非難がましい」ということは事実だ
事実14: もしもこのヘパリンが非難がましいとするとこのポートフォリオ・アプローチは非難がましい
事実15: もしこの裸婦が冗談っぽいならその官展は欠け落ちる
事実16: あの内戦が織り出すとしたらこの七万五千人は織り出すということはない
事実17: もし仮に何らかのものがティ・ショットするということはないとしたら真白くない

仮説: その官展は欠け落ちる
1. 事実15と事実8から、仮説が導かれる

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