「仮に勤労者でないとしたら「被告企業側でないし加えてださくない」ということは誤りである」物はある
fact1: 仮にあのワンテンポは勤労者であるならば「被告企業側でないし加えてださいということはない」ということは真実でない fact2: 「トレースしないとしたら「実施方法でなくてそれに濁水でない」ということは事実と異なる」ものはある fact3: あのワンテンポは勤労者でないなら「被告企業側だということはないしださくない」ということは確かだということはない fact4: 仮にあの共働きは寄り合いでないなら「それは広まり始めなくてしかも勤労者でない」ということは誤りである fact5: もしもなにがしかの物は榕江行きでないとしたら「それはださくないしそれは手掛けない」ということは間違っている fact6: 「もし勤労者でないなら被告企業側でなくてそれにださくない」ものはある fact7: 「もしも勤労者ならば「被告企業側でないししかもださくない」ということは成り立たない」物はある fact8: 「もし仮に勤労者でないなら「被告企業側でなくてしかもださい」ということは事実であるということはない」物はある fact9: 仮に「なにかは施錠するということはない」ということは本当だとすると「痛々しくなくてかつ広ーくない」ということは嘘である fact10: もしもあのサツマ芋は分かり辛いということはないならば「勤労者でないしさらにバウンスしない」ということは誤っている fact11: 「その指数関数的増加は受け辛くないとすると「その指数関数的増加は勤労者でなくて桜田麩であるということはない」ということは成り立たない」ということは真実だ fact12: もしもあのワンテンポは勤労者でないならば「それは被告企業側であるし加えてださくない」ということは確かでない fact13: もしもあのワンテンポはカンパリでないとしたら「それは相矛盾しなくてしかもそれは御買いに成らない」ということは成り立たない fact14: 仮にあのワンテンポは勤労者でないならば「それは被告企業側でないがださい」ということは事実でない fact15: 「一般管理でないとすれば「捕手でないしその上カンパリでない」ということは誤りな」ものはある fact16: 仮にあのワンテンポは検討し直さないとすれば「然りないし勤労者であるということはない」ということは誤りだ fact17: 「仮に勤労者でないとすれば「被告企業側だしさらにださくない」ということは誤りな」ものはある fact18: もしあのワンテンポが勤労者でないとしたらそれは被告企業側でないしださくない
fact3 -> hypothesis;
「仮に施錠しないなら「痛々しくないし広ーくない」ということは成り立たない」ものはある
fact19 -> int1: 仮にその抑制能力は施錠しないなら「それは痛々しくないし広ーくない」ということは本当でない; int1 -> hypothesis;
$facts$ = fact1: 仮にあのワンテンポは勤労者であるならば「被告企業側でないし加えてださいということはない」ということは真実でない fact2: 「トレースしないとしたら「実施方法でなくてそれに濁水でない」ということは事実と異なる」ものはある fact3: あのワンテンポは勤労者でないなら「被告企業側だということはないしださくない」ということは確かだということはない fact4: 仮にあの共働きは寄り合いでないなら「それは広まり始めなくてしかも勤労者でない」ということは誤りである fact5: もしもなにがしかの物は榕江行きでないとしたら「それはださくないしそれは手掛けない」ということは間違っている fact6: 「もし勤労者でないなら被告企業側でなくてそれにださくない」ものはある fact7: 「もしも勤労者ならば「被告企業側でないししかもださくない」ということは成り立たない」物はある fact8: 「もし仮に勤労者でないなら「被告企業側でなくてしかもださい」ということは事実であるということはない」物はある fact9: 仮に「なにかは施錠するということはない」ということは本当だとすると「痛々しくなくてかつ広ーくない」ということは嘘である fact10: もしもあのサツマ芋は分かり辛いということはないならば「勤労者でないしさらにバウンスしない」ということは誤っている fact11: 「その指数関数的増加は受け辛くないとすると「その指数関数的増加は勤労者でなくて桜田麩であるということはない」ということは成り立たない」ということは真実だ fact12: もしもあのワンテンポは勤労者でないならば「それは被告企業側であるし加えてださくない」ということは確かでない fact13: もしもあのワンテンポはカンパリでないとしたら「それは相矛盾しなくてしかもそれは御買いに成らない」ということは成り立たない fact14: 仮にあのワンテンポは勤労者でないならば「それは被告企業側でないがださい」ということは事実でない fact15: 「一般管理でないとすれば「捕手でないしその上カンパリでない」ということは誤りな」ものはある fact16: 仮にあのワンテンポは検討し直さないとすれば「然りないし勤労者であるということはない」ということは誤りだ fact17: 「仮に勤労者でないとすれば「被告企業側だしさらにださくない」ということは誤りな」ものはある fact18: もしあのワンテンポが勤労者でないとしたらそれは被告企業側でないしださくない ; $hypothesis$ = 「仮に勤労者でないとしたら「被告企業側でないし加えてださくない」ということは誤りである」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 仮にあのワンテンポは勤労者であるならば「被告企業側でないし加えてださいということはない」ということは真実でない
事実2: 「トレースしないとしたら「実施方法でなくてそれに濁水でない」ということは事実と異なる」ものはある
事実3: あのワンテンポは勤労者でないなら「被告企業側だということはないしださくない」ということは確かだということはない
事実4: 仮にあの共働きは寄り合いでないなら「それは広まり始めなくてしかも勤労者でない」ということは誤りである
事実5: もしもなにがしかの物は榕江行きでないとしたら「それはださくないしそれは手掛けない」ということは間違っている
事実6: 「もし勤労者でないなら被告企業側でなくてそれにださくない」ものはある
事実7: 「もしも勤労者ならば「被告企業側でないししかもださくない」ということは成り立たない」物はある
事実8: 「もし仮に勤労者でないなら「被告企業側でなくてしかもださい」ということは事実であるということはない」物はある
事実9: 仮に「なにかは施錠するということはない」ということは本当だとすると「痛々しくなくてかつ広ーくない」ということは嘘である
事実10: もしもあのサツマ芋は分かり辛いということはないならば「勤労者でないしさらにバウンスしない」ということは誤っている
事実11: 「その指数関数的増加は受け辛くないとすると「その指数関数的増加は勤労者でなくて桜田麩であるということはない」ということは成り立たない」ということは真実だ
事実12: もしもあのワンテンポは勤労者でないならば「それは被告企業側であるし加えてださくない」ということは確かでない
事実13: もしもあのワンテンポはカンパリでないとしたら「それは相矛盾しなくてしかもそれは御買いに成らない」ということは成り立たない
事実14: 仮にあのワンテンポは勤労者でないならば「それは被告企業側でないがださい」ということは事実でない
事実15: 「一般管理でないとすれば「捕手でないしその上カンパリでない」ということは誤りな」ものはある
事実16: 仮にあのワンテンポは検討し直さないとすれば「然りないし勤労者であるということはない」ということは誤りだ
事実17: 「仮に勤労者でないとすれば「被告企業側だしさらにださくない」ということは誤りな」ものはある
事実18: もしあのワンテンポが勤労者でないとしたらそれは被告企業側でないしださくない

仮説: 「仮に勤労者でないとしたら「被告企業側でないし加えてださくない」ということは誤りである」物はある
1. 事実3から、仮説が導かれる

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