「その寄せ書きは動揺し易いかあるいはそれは医長でないか両方である」ということは間違いだ
fact1: もしもあのスローライフが飛び交うとするとこのメスは大文字だ fact2: 仮にこのメスは大文字であるとすれば「その寄せ書きは煩いということはないし気付き難くない」ということは成り立たない fact3: 「その寄せ書きは高級料亭であるかまたは大文字だということはないかどちらもである」ということは偽である fact4: このメスは煩い fact5: 「その悪疫は煩いかもしくは遠しない」ということは成り立たない fact6: もし仮にこのメスは動揺し易いとすると「その寄せ書きは医長であるか煩くないかまたは両方だ」ということは成り立つということはない fact7: 「その寄せ書きは煩いかもしくは医長でない」ということは誤りだ fact8: このグリーンツーリズムは煩くない fact9: 仮にこのメスは煩いなら「その寄せ書きは医長でない」ということは成り立たない fact10: もしも「なにがしかのものは煩くないしその上気付き難くない」ということは偽であるとするとそれは煩い fact11: 仮にこのメスは煩いとしたら「その寄せ書きは動揺し易いかもしくは医長であるということはない」ということは事実でない fact12: その寄せ書きは医長である fact13: 煩いものは動揺し易いかもしくは医長でないかもしくはどちらもだ
fact11 & fact4 -> hypothesis;
fact11 & fact4 -> hypothesis;
その寄せ書きは動揺し易いかあるいは医長でない
fact16 -> int1: もし仮にその寄せ書きが煩いとすると動揺し易いかあるいはそれは医長でない; fact17 -> int2: 仮に「その寄せ書きは煩くないし加えて気付き難くない」ということは成り立たないなら煩い;
$facts$ = fact1: もしもあのスローライフが飛び交うとするとこのメスは大文字だ fact2: 仮にこのメスは大文字であるとすれば「その寄せ書きは煩いということはないし気付き難くない」ということは成り立たない fact3: 「その寄せ書きは高級料亭であるかまたは大文字だということはないかどちらもである」ということは偽である fact4: このメスは煩い fact5: 「その悪疫は煩いかもしくは遠しない」ということは成り立たない fact6: もし仮にこのメスは動揺し易いとすると「その寄せ書きは医長であるか煩くないかまたは両方だ」ということは成り立つということはない fact7: 「その寄せ書きは煩いかもしくは医長でない」ということは誤りだ fact8: このグリーンツーリズムは煩くない fact9: 仮にこのメスは煩いなら「その寄せ書きは医長でない」ということは成り立たない fact10: もしも「なにがしかのものは煩くないしその上気付き難くない」ということは偽であるとするとそれは煩い fact11: 仮にこのメスは煩いとしたら「その寄せ書きは動揺し易いかもしくは医長であるということはない」ということは事実でない fact12: その寄せ書きは医長である fact13: 煩いものは動揺し易いかもしくは医長でないかもしくはどちらもだ ; $hypothesis$ = 「その寄せ書きは動揺し易いかあるいはそれは医長でないか両方である」ということは間違いだ ; $proof$ = 
fact11 & fact4 -> hypothesis; __PROVED__
事実1: もしもあのスローライフが飛び交うとするとこのメスは大文字だ
事実2: 仮にこのメスは大文字であるとすれば「その寄せ書きは煩いということはないし気付き難くない」ということは成り立たない
事実3: 「その寄せ書きは高級料亭であるかまたは大文字だということはないかどちらもである」ということは偽である
事実4: このメスは煩い
事実5: 「その悪疫は煩いかもしくは遠しない」ということは成り立たない
事実6: もし仮にこのメスは動揺し易いとすると「その寄せ書きは医長であるか煩くないかまたは両方だ」ということは成り立つということはない
事実7: 「その寄せ書きは煩いかもしくは医長でない」ということは誤りだ
事実8: このグリーンツーリズムは煩くない
事実9: 仮にこのメスは煩いなら「その寄せ書きは医長でない」ということは成り立たない
事実10: もしも「なにがしかのものは煩くないしその上気付き難くない」ということは偽であるとするとそれは煩い
事実11: 仮にこのメスは煩いとしたら「その寄せ書きは動揺し易いかもしくは医長であるということはない」ということは事実でない
事実12: その寄せ書きは医長である
事実13: 煩いものは動揺し易いかもしくは医長でないかもしくはどちらもだ

仮説: 「その寄せ書きは動揺し易いかあるいはそれは医長でないか両方である」ということは間違いだ
1. 事実11と事実4から、仮説が導かれる

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