この診療時間外は脂っぽい
fact1: 「「等し」ということは真実である」ものはある fact2: 「「脂っぽいか御考え下さるかあるいはどちらもだ」ということは偽な」物はある fact3: 「「山林内でないか御考え下さるかもしくは両方である」ということは誤っている」物があればこの診療時間外は脂っぽい fact4: 「「利き難くないかあるいは他馬である」ということは間違っている」物はある fact5: 「この八雲琴は山林内でないかあるいは御考え下さるかまたは両方ともだ」ということは成り立たない fact6: 「「「山林内であるということはないかまたは脂っぽい」ということは確かだ」ということは事実と異なる」物はある fact7: 「この診療時間外はフル稼働する」ということは事実である fact8: 「「山林内であるかもしくは脂っぽいか両方ともである」ということは偽な」ものはある fact9: もし仮に「「御考え下さらないかまたは山林内であるかあるいは両方である」ということは正しくない」ものがあるならこの八雲琴は脂っぽい fact10: そのはじかみは脂っぽくない fact11: なんらかのものは騒がしくない fact12: 「この八雲琴は脂っぽくないかまたは御考え下さるかあるいはどちらもである」ということは真実でない fact13: この診療時間外は山林内でない fact14: この八雲琴は賃貸借取り引きだということはない
fact5 -> int1: 「「山林内でないかもしくは御考え下さるかあるいは両方ともである」ということは偽な」ものはある; int1 & fact3 -> hypothesis;
fact5 -> int1: (Ex): ¬(¬{AA}x v {AB}x); int1 & fact3 -> hypothesis;
$facts$ = fact1: 「「等し」ということは真実である」ものはある fact2: 「「脂っぽいか御考え下さるかあるいはどちらもだ」ということは偽な」物はある fact3: 「「山林内でないか御考え下さるかもしくは両方である」ということは誤っている」物があればこの診療時間外は脂っぽい fact4: 「「利き難くないかあるいは他馬である」ということは間違っている」物はある fact5: 「この八雲琴は山林内でないかあるいは御考え下さるかまたは両方ともだ」ということは成り立たない fact6: 「「「山林内であるということはないかまたは脂っぽい」ということは確かだ」ということは事実と異なる」物はある fact7: 「この診療時間外はフル稼働する」ということは事実である fact8: 「「山林内であるかもしくは脂っぽいか両方ともである」ということは偽な」ものはある fact9: もし仮に「「御考え下さらないかまたは山林内であるかあるいは両方である」ということは正しくない」ものがあるならこの八雲琴は脂っぽい fact10: そのはじかみは脂っぽくない fact11: なんらかのものは騒がしくない fact12: 「この八雲琴は脂っぽくないかまたは御考え下さるかあるいはどちらもである」ということは真実でない fact13: この診療時間外は山林内でない fact14: この八雲琴は賃貸借取り引きだということはない ; $hypothesis$ = この診療時間外は脂っぽい ; $proof$ = 
fact5 -> int1: 「「山林内でないかもしくは御考え下さるかあるいは両方ともである」ということは偽な」ものはある; int1 & fact3 -> hypothesis; __PROVED__
事実1: 「「等し」ということは真実である」ものはある
事実2: 「「脂っぽいか御考え下さるかあるいはどちらもだ」ということは偽な」物はある
事実3: 「「山林内でないか御考え下さるかもしくは両方である」ということは誤っている」物があればこの診療時間外は脂っぽい
事実4: 「「利き難くないかあるいは他馬である」ということは間違っている」物はある
事実5: 「この八雲琴は山林内でないかあるいは御考え下さるかまたは両方ともだ」ということは成り立たない
事実6: 「「「山林内であるということはないかまたは脂っぽい」ということは確かだ」ということは事実と異なる」物はある
事実7: 「この診療時間外はフル稼働する」ということは事実である
事実8: 「「山林内であるかもしくは脂っぽいか両方ともである」ということは偽な」ものはある
事実9: もし仮に「「御考え下さらないかまたは山林内であるかあるいは両方である」ということは正しくない」ものがあるならこの八雲琴は脂っぽい
事実10: そのはじかみは脂っぽくない
事実11: なんらかのものは騒がしくない
事実12: 「この八雲琴は脂っぽくないかまたは御考え下さるかあるいはどちらもである」ということは真実でない
事実13: この診療時間外は山林内でない
事実14: この八雲琴は賃貸借取り引きだということはない

仮説: この診療時間外は脂っぽい
1. 事実5から、推論1: "「「山林内でないかもしくは御考え下さるかあるいは両方ともである」ということは偽な」ものはある"が導かれる
2. 推論1と事実3から、仮説が導かれる

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