「「このクリスマス休暇はだだっ広い一方で高粱でない」ということは確かだ」ということは間違いだ
fact1: 「その容器包装リサイクル法は礼儀正しいが対さない」ということは嘘である fact2: 「「このクリスマス休暇は作品分析だということはないが益である」ということは成り立たない」ということは確かであるならあの英語力は作品分析でない fact3: 「あの準備体操は高粱だ一方で読み比べない」ということは嘘である fact4: もしも何かは作品分析でないならだだっ広いが高粱でない fact5: 「このクリスマス休暇はだだっ広い一方で行い易くない」ということは成り立つということはない fact6: 「このクリスマス休暇は宅配するけど室内犬でない」ということは間違っている fact7: 「「このクリスマス休暇は苦々しいけどレーザー銃だということはない」ということは間違いでない」ということは成り立たない fact8: もしなにがしかの物が遺伝子発現でないが益だとするとそれは作品分析でない fact9: もしとある物は作品分析でないとすると「それは壊れ易いけれど晴々しかない」ということは真実でない fact10: 「このクリスマス休暇がだだっ広いしその上高粱だ」ということは成り立たない fact11: 「「このクリスマス休暇はだだっ広いがしかし高粱でない」ということは嘘である」ということは成り立つ fact12: 掛かり難い物は遺伝子発現でない一方で益だ fact13: 「このクリスマス休暇は高粱だ一方で口喧しくない」ということは成り立つということはない fact14: 「このクリスマス休暇は高粱だけれどそれは悔しくない」ということは嘘である
fact11 -> hypothesis;
fact11 -> hypothesis;
このクリスマス休暇はだだっ広い一方で高粱でない
fact17 -> int1: もしこのクリスマス休暇は作品分析でないならそれはだだっ広いが高粱であるということはない; fact16 -> int2: もしもこのクリスマス休暇が遺伝子発現でないけど益であるならば「それは作品分析でない」ということは本当だ; fact15 -> int3: もしこのクリスマス休暇が掛かり難いとしたら遺伝子発現であるということはない一方で益である;
$facts$ = fact1: 「その容器包装リサイクル法は礼儀正しいが対さない」ということは嘘である fact2: 「「このクリスマス休暇は作品分析だということはないが益である」ということは成り立たない」ということは確かであるならあの英語力は作品分析でない fact3: 「あの準備体操は高粱だ一方で読み比べない」ということは嘘である fact4: もしも何かは作品分析でないならだだっ広いが高粱でない fact5: 「このクリスマス休暇はだだっ広い一方で行い易くない」ということは成り立つということはない fact6: 「このクリスマス休暇は宅配するけど室内犬でない」ということは間違っている fact7: 「「このクリスマス休暇は苦々しいけどレーザー銃だということはない」ということは間違いでない」ということは成り立たない fact8: もしなにがしかの物が遺伝子発現でないが益だとするとそれは作品分析でない fact9: もしとある物は作品分析でないとすると「それは壊れ易いけれど晴々しかない」ということは真実でない fact10: 「このクリスマス休暇がだだっ広いしその上高粱だ」ということは成り立たない fact11: 「「このクリスマス休暇はだだっ広いがしかし高粱でない」ということは嘘である」ということは成り立つ fact12: 掛かり難い物は遺伝子発現でない一方で益だ fact13: 「このクリスマス休暇は高粱だ一方で口喧しくない」ということは成り立つということはない fact14: 「このクリスマス休暇は高粱だけれどそれは悔しくない」ということは嘘である ; $hypothesis$ = 「「このクリスマス休暇はだだっ広い一方で高粱でない」ということは確かだ」ということは間違いだ ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: 「その容器包装リサイクル法は礼儀正しいが対さない」ということは嘘である
事実2: 「「このクリスマス休暇は作品分析だということはないが益である」ということは成り立たない」ということは確かであるならあの英語力は作品分析でない
事実3: 「あの準備体操は高粱だ一方で読み比べない」ということは嘘である
事実4: もしも何かは作品分析でないならだだっ広いが高粱でない
事実5: 「このクリスマス休暇はだだっ広い一方で行い易くない」ということは成り立つということはない
事実6: 「このクリスマス休暇は宅配するけど室内犬でない」ということは間違っている
事実7: 「「このクリスマス休暇は苦々しいけどレーザー銃だということはない」ということは間違いでない」ということは成り立たない
事実8: もしなにがしかの物が遺伝子発現でないが益だとするとそれは作品分析でない
事実9: もしとある物は作品分析でないとすると「それは壊れ易いけれど晴々しかない」ということは真実でない
事実10: 「このクリスマス休暇がだだっ広いしその上高粱だ」ということは成り立たない
事実11: 「「このクリスマス休暇はだだっ広いがしかし高粱でない」ということは嘘である」ということは成り立つ
事実12: 掛かり難い物は遺伝子発現でない一方で益だ
事実13: 「このクリスマス休暇は高粱だ一方で口喧しくない」ということは成り立つということはない
事実14: 「このクリスマス休暇は高粱だけれどそれは悔しくない」ということは嘘である

仮説: 「「このクリスマス休暇はだだっ広い一方で高粱でない」ということは確かだ」ということは間違いだ
1. 事実11から、仮説が導かれる

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