「もし小汚くないならば「胡散臭くないしさらに生まれ易くない」ということは成り立たない」物はある
fact1: その通行地役権は小汚くないとすると「それは胡散臭くなくてそれに生まれ易くない」ということは事実と異なる fact2: 「もし小汚くないとすると胡散臭くないし生まれ易くない」物はある fact3: 「もし仮に小汚くないとすれば「「胡散臭いししかも生まれ易くない」ということは正しい」ということは偽な」物はある fact4: その通行地役権は小汚いならば「それは胡散臭くなくてそれは生まれ易くない」ということは間違っている fact5: 「もし仮に小汚くないとすると「胡散臭くないし生まれ易い」ということは本当でない」物はある fact6: もしその通行地役権は小汚くないなら「胡散臭くないがしかし生まれ易い」ということは成り立たない fact7: 仮にその通行地役権が小汚くないとしたら胡散臭くなくてその上それは生まれ易いということはない fact8: 「小汚いとしたら「胡散臭くないし生まれ易くない」ということは成り立たない」ものはある fact9: もし仮にその通行地役権は小汚いということはないとすると「「胡散臭いが生まれ易くない」ということは事実だ」ということは成り立たない fact10: 「ヘッジ出来ないとすると「探し易くないしさらに余所余所しかない」ということは成り立たない」物はある fact11: もし仮にその通行地役権は小汚いということはないとすれば「打っ壊すということはないしその上四年制でない」ということは偽だ fact12: 「もし仮になんらかの物は生まれ易くないなら「恵まないし加えて門徒でない」ということは成り立たない」ということは事実だ
fact1 -> hypothesis;
その断髪は生まれ易いということはないなら「恵まないしそれに門徒でない」ということは嘘である
fact13 -> hypothesis;
$facts$ = fact1: その通行地役権は小汚くないとすると「それは胡散臭くなくてそれに生まれ易くない」ということは事実と異なる fact2: 「もし小汚くないとすると胡散臭くないし生まれ易くない」物はある fact3: 「もし仮に小汚くないとすれば「「胡散臭いししかも生まれ易くない」ということは正しい」ということは偽な」物はある fact4: その通行地役権は小汚いならば「それは胡散臭くなくてそれは生まれ易くない」ということは間違っている fact5: 「もし仮に小汚くないとすると「胡散臭くないし生まれ易い」ということは本当でない」物はある fact6: もしその通行地役権は小汚くないなら「胡散臭くないがしかし生まれ易い」ということは成り立たない fact7: 仮にその通行地役権が小汚くないとしたら胡散臭くなくてその上それは生まれ易いということはない fact8: 「小汚いとしたら「胡散臭くないし生まれ易くない」ということは成り立たない」ものはある fact9: もし仮にその通行地役権は小汚いということはないとすると「「胡散臭いが生まれ易くない」ということは事実だ」ということは成り立たない fact10: 「ヘッジ出来ないとすると「探し易くないしさらに余所余所しかない」ということは成り立たない」物はある fact11: もし仮にその通行地役権は小汚いということはないとすれば「打っ壊すということはないしその上四年制でない」ということは偽だ fact12: 「もし仮になんらかの物は生まれ易くないなら「恵まないし加えて門徒でない」ということは成り立たない」ということは事実だ ; $hypothesis$ = 「もし小汚くないならば「胡散臭くないしさらに生まれ易くない」ということは成り立たない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: その通行地役権は小汚くないとすると「それは胡散臭くなくてそれに生まれ易くない」ということは事実と異なる
事実2: 「もし小汚くないとすると胡散臭くないし生まれ易くない」物はある
事実3: 「もし仮に小汚くないとすれば「「胡散臭いししかも生まれ易くない」ということは正しい」ということは偽な」物はある
事実4: その通行地役権は小汚いならば「それは胡散臭くなくてそれは生まれ易くない」ということは間違っている
事実5: 「もし仮に小汚くないとすると「胡散臭くないし生まれ易い」ということは本当でない」物はある
事実6: もしその通行地役権は小汚くないなら「胡散臭くないがしかし生まれ易い」ということは成り立たない
事実7: 仮にその通行地役権が小汚くないとしたら胡散臭くなくてその上それは生まれ易いということはない
事実8: 「小汚いとしたら「胡散臭くないし生まれ易くない」ということは成り立たない」ものはある
事実9: もし仮にその通行地役権は小汚いということはないとすると「「胡散臭いが生まれ易くない」ということは事実だ」ということは成り立たない
事実10: 「ヘッジ出来ないとすると「探し易くないしさらに余所余所しかない」ということは成り立たない」物はある
事実11: もし仮にその通行地役権は小汚いということはないとすれば「打っ壊すということはないしその上四年制でない」ということは偽だ
事実12: 「もし仮になんらかの物は生まれ易くないなら「恵まないし加えて門徒でない」ということは成り立たない」ということは事実だ

仮説: 「もし小汚くないならば「胡散臭くないしさらに生まれ易くない」ということは成り立たない」物はある
1. 事実1から、仮説が導かれる

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