あの事変はつべたくない
fact1: つべたい物は御詳しくない fact2: もし仮にあの事変がつべたいけれど築き難くないならこの総説はつべたい fact3: もしもあの事変が事務総長であるとしたらそれはつべたいし築き難くない fact4: あの事変は現われ難くない fact5: 「「現われ難いししかも実在する」ということは正しいということはない」物はある fact6: 幼けなくないものは礼儀正しいかあるいは仁王立ちする fact7: 仮にある物が築き難くないかもしくはそれが事務総長ならばそれはつべたい fact8: あるものは現われ難いということはないけれど実在する fact9: もし「「現われ難いということはないが実在する」ということは成り立たない」ものはあるならあの事変はつべたくない fact10: あの事変はスクラップ帳でない fact11: もしも「実在しない」物はあるならあの事変はつべたくない fact12: 「「現われ難くないが実在する」ということは成り立たない」ものはある
fact12 & fact9 -> hypothesis;
fact12 & fact9 -> hypothesis;
「あの事変はつべたくない」ということは成り立つということはない
fact13 -> int1: あの事変は築き難くないかまたは事務総長であるかもしくは両方ともであるとしたらそれはつべたい;
$facts$ = fact1: つべたい物は御詳しくない fact2: もし仮にあの事変がつべたいけれど築き難くないならこの総説はつべたい fact3: もしもあの事変が事務総長であるとしたらそれはつべたいし築き難くない fact4: あの事変は現われ難くない fact5: 「「現われ難いししかも実在する」ということは正しいということはない」物はある fact6: 幼けなくないものは礼儀正しいかあるいは仁王立ちする fact7: 仮にある物が築き難くないかもしくはそれが事務総長ならばそれはつべたい fact8: あるものは現われ難いということはないけれど実在する fact9: もし「「現われ難いということはないが実在する」ということは成り立たない」ものはあるならあの事変はつべたくない fact10: あの事変はスクラップ帳でない fact11: もしも「実在しない」物はあるならあの事変はつべたくない fact12: 「「現われ難くないが実在する」ということは成り立たない」ものはある ; $hypothesis$ = あの事変はつべたくない ; $proof$ = 
fact12 & fact9 -> hypothesis; __PROVED__
事実1: つべたい物は御詳しくない
事実2: もし仮にあの事変がつべたいけれど築き難くないならこの総説はつべたい
事実3: もしもあの事変が事務総長であるとしたらそれはつべたいし築き難くない
事実4: あの事変は現われ難くない
事実5: 「「現われ難いししかも実在する」ということは正しいということはない」物はある
事実6: 幼けなくないものは礼儀正しいかあるいは仁王立ちする
事実7: 仮にある物が築き難くないかもしくはそれが事務総長ならばそれはつべたい
事実8: あるものは現われ難いということはないけれど実在する
事実9: もし「「現われ難いということはないが実在する」ということは成り立たない」ものはあるならあの事変はつべたくない
事実10: あの事変はスクラップ帳でない
事実11: もしも「実在しない」物はあるならあの事変はつべたくない
事実12: 「「現われ難くないが実在する」ということは成り立たない」ものはある

仮説: あの事変はつべたくない
1. 事実12と事実9から、仮説が導かれる

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