「このダブルレバーは博士論文だしさらに解す」ということは正しくない
fact1: もしもあの種馬が春らしいということはない一方で博士論文ならこのダブルレバーは加工食品だということはない fact2: もし仮にこのダブルレバーが芸妓でないけどそれが博士論文であるとしたらその認定資格は加工食品でない fact3: 「「博士論文である」ということは確かである」ものはある fact4: その認定資格は加工食品でない一方で芸妓だ fact5: もしなんらかの物は春らしくないなら「あの種馬は加工食品であるし解す」ということは間違いである fact6: 「解さない」物はある fact7: 仮に「春らしくない」物はあれば「このダブルレバーは博士論文であるし解す」ということは間違いである fact8: なんらかの物は解さないなら「その認定資格が加工食品だしかつそれは博士論文である」ということは成り立たない fact9: もしその認定資格が加工食品でないけれど芸妓ならばあの種馬は春らしくない fact10: あの種馬は芸妓でない
fact9 & fact4 -> int1: あの種馬は春らしくない; int1 -> int2: ある物は春らしくない; int2 & fact7 -> hypothesis;
$facts$ = fact1: もしもあの種馬が春らしいということはない一方で博士論文ならこのダブルレバーは加工食品だということはない fact2: もし仮にこのダブルレバーが芸妓でないけどそれが博士論文であるとしたらその認定資格は加工食品でない fact3: 「「博士論文である」ということは確かである」ものはある fact4: その認定資格は加工食品でない一方で芸妓だ fact5: もしなんらかの物は春らしくないなら「あの種馬は加工食品であるし解す」ということは間違いである fact6: 「解さない」物はある fact7: 仮に「春らしくない」物はあれば「このダブルレバーは博士論文であるし解す」ということは間違いである fact8: なんらかの物は解さないなら「その認定資格が加工食品だしかつそれは博士論文である」ということは成り立たない fact9: もしその認定資格が加工食品でないけれど芸妓ならばあの種馬は春らしくない fact10: あの種馬は芸妓でない ; $hypothesis$ = 「このダブルレバーは博士論文だしさらに解す」ということは正しくない ; $proof$ = 
fact9 & fact4 -> int1: あの種馬は春らしくない; int1 -> int2: ある物は春らしくない; int2 & fact7 -> hypothesis; __PROVED__
事実1: もしもあの種馬が春らしいということはない一方で博士論文ならこのダブルレバーは加工食品だということはない
事実2: もし仮にこのダブルレバーが芸妓でないけどそれが博士論文であるとしたらその認定資格は加工食品でない
事実3: 「「博士論文である」ということは確かである」ものはある
事実4: その認定資格は加工食品でない一方で芸妓だ
事実5: もしなんらかの物は春らしくないなら「あの種馬は加工食品であるし解す」ということは間違いである
事実6: 「解さない」物はある
事実7: 仮に「春らしくない」物はあれば「このダブルレバーは博士論文であるし解す」ということは間違いである
事実8: なんらかの物は解さないなら「その認定資格が加工食品だしかつそれは博士論文である」ということは成り立たない
事実9: もしその認定資格が加工食品でないけれど芸妓ならばあの種馬は春らしくない
事実10: あの種馬は芸妓でない

仮説: 「このダブルレバーは博士論文だしさらに解す」ということは正しくない
1. 事実9と事実4から、推論1: "あの種馬は春らしくない"が導かれる
2. 推論1から、推論2: "ある物は春らしくない"が導かれる
3. 推論2と事実7から、仮説が導かれる

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