仮に「「この家財は挟まらなくて加えてそれは容易くない」ということは成り立つ」ということは本当であるということはないとしたら精でない
fact1: 仮になんらかの物は挟まらないし更に容易くないとすれば「精でない」ということは真実である fact2: もし「この家財は私邸でなくてしかもそれは精でない」ということは嘘であるならば「それは収集しない」ということは事実と異ならない fact3: 仮に「なにがしかの物は吊れないしそれは千六百年代でない」ということは間違いならそれは妹さん達でない fact4: もし仮に「何らかの物は投げないし記載すらない」ということは偽なら召し捕らえらない fact5: もしもこの家財は挟まるとすれば「精でない」ということは成り立つ fact6: もし仮に「この家財は調べ易くないしそれは精でない」ということは誤りだとしたら趣意説明であるということはない fact7: もし「何かは挟まらないし容易くない」ということは誤りならそれは精だ fact8: もしも「この家財は挟まるということはないが容易い」ということは成り立たないとすれば精でない fact9: 仮に「ある物は御めでたいということはないしかつ耐え難くない」ということは誤っているなら突起物でない fact10: 「なんらかの物は挟まらないが容易い」ということは正しくないならばそれは精でない fact11: 「なにがしかのものは過ぎ去らないし健康上でない」ということは誤りであるとすればそれは僻みっぽくない fact12: もし「この家財は挟まらないしそれに容易くない」ということは成り立たないならばそれは精だ fact13: 仮に「この家財が御めでたくないしさらに精でない」ということは成り立たないなら将でない fact14: もし仮に「なにかは挟まらないしその上容易いということはない」ということは事実と異なるとすればそれは精でない fact15: もしこの家財が挟まらなくて更に容易くないならばそれは精でない fact16: もし仮に「とあるものは珍しかないしさらにに対して見ない」ということは事実だということはないとしたらそれは御返らない fact17: 仮になにかは挟まるとするとそれは精でない fact18: もし「この家財は性分らしくないしまたチャレンジ出来ない」ということは事実と異なればそれは精でない
fact14 -> hypothesis;
fact14 -> hypothesis;
$facts$ = fact1: 仮になんらかの物は挟まらないし更に容易くないとすれば「精でない」ということは真実である fact2: もし「この家財は私邸でなくてしかもそれは精でない」ということは嘘であるならば「それは収集しない」ということは事実と異ならない fact3: 仮に「なにがしかの物は吊れないしそれは千六百年代でない」ということは間違いならそれは妹さん達でない fact4: もし仮に「何らかの物は投げないし記載すらない」ということは偽なら召し捕らえらない fact5: もしもこの家財は挟まるとすれば「精でない」ということは成り立つ fact6: もし仮に「この家財は調べ易くないしそれは精でない」ということは誤りだとしたら趣意説明であるということはない fact7: もし「何かは挟まらないし容易くない」ということは誤りならそれは精だ fact8: もしも「この家財は挟まるということはないが容易い」ということは成り立たないとすれば精でない fact9: 仮に「ある物は御めでたいということはないしかつ耐え難くない」ということは誤っているなら突起物でない fact10: 「なんらかの物は挟まらないが容易い」ということは正しくないならばそれは精でない fact11: 「なにがしかのものは過ぎ去らないし健康上でない」ということは誤りであるとすればそれは僻みっぽくない fact12: もし「この家財は挟まらないしそれに容易くない」ということは成り立たないならばそれは精だ fact13: 仮に「この家財が御めでたくないしさらに精でない」ということは成り立たないなら将でない fact14: もし仮に「なにかは挟まらないしその上容易いということはない」ということは事実と異なるとすればそれは精でない fact15: もしこの家財が挟まらなくて更に容易くないならばそれは精でない fact16: もし仮に「とあるものは珍しかないしさらにに対して見ない」ということは事実だということはないとしたらそれは御返らない fact17: 仮になにかは挟まるとするとそれは精でない fact18: もし「この家財は性分らしくないしまたチャレンジ出来ない」ということは事実と異なればそれは精でない ; $hypothesis$ = 仮に「「この家財は挟まらなくて加えてそれは容易くない」ということは成り立つ」ということは本当であるということはないとしたら精でない ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: 仮になんらかの物は挟まらないし更に容易くないとすれば「精でない」ということは真実である
事実2: もし「この家財は私邸でなくてしかもそれは精でない」ということは嘘であるならば「それは収集しない」ということは事実と異ならない
事実3: 仮に「なにがしかの物は吊れないしそれは千六百年代でない」ということは間違いならそれは妹さん達でない
事実4: もし仮に「何らかの物は投げないし記載すらない」ということは偽なら召し捕らえらない
事実5: もしもこの家財は挟まるとすれば「精でない」ということは成り立つ
事実6: もし仮に「この家財は調べ易くないしそれは精でない」ということは誤りだとしたら趣意説明であるということはない
事実7: もし「何かは挟まらないし容易くない」ということは誤りならそれは精だ
事実8: もしも「この家財は挟まるということはないが容易い」ということは成り立たないとすれば精でない
事実9: 仮に「ある物は御めでたいということはないしかつ耐え難くない」ということは誤っているなら突起物でない
事実10: 「なんらかの物は挟まらないが容易い」ということは正しくないならばそれは精でない
事実11: 「なにがしかのものは過ぎ去らないし健康上でない」ということは誤りであるとすればそれは僻みっぽくない
事実12: もし「この家財は挟まらないしそれに容易くない」ということは成り立たないならばそれは精だ
事実13: 仮に「この家財が御めでたくないしさらに精でない」ということは成り立たないなら将でない
事実14: もし仮に「なにかは挟まらないしその上容易いということはない」ということは事実と異なるとすればそれは精でない
事実15: もしこの家財が挟まらなくて更に容易くないならばそれは精でない
事実16: もし仮に「とあるものは珍しかないしさらにに対して見ない」ということは事実だということはないとしたらそれは御返らない
事実17: 仮になにかは挟まるとするとそれは精でない
事実18: もし「この家財は性分らしくないしまたチャレンジ出来ない」ということは事実と異なればそれは精でない

仮説: 仮に「「この家財は挟まらなくて加えてそれは容易くない」ということは成り立つ」ということは本当であるということはないとしたら精でない
1. 事実14から、仮説が導かれる

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