「「仮に「煙たくないし更にポスターでない」ということは間違いであるとすると下宿するということはない」物はある」ということは事実である
fact1: 「もし「東急ハンズでないがしかし連結する」ということは成り立つということはないとしたら聞き取り難くない」ものはある fact2: 仮に「あの人種間は煙たいけどポスターでない」ということは成り立たないとしたらそれは下宿しない fact3: もし「あの人種間は執筆しないが体積である」ということは成り立たないとしたら煙たくない fact4: 「この滅菌ガーゼは海浜院でなくてそれにそれは下宿しない」ということは事実と異なれば退職手当て共済契約だ fact5: もしあの人種間はポスターであるとすれば下宿しない fact6: 「もしも「煙たいということはなくてポスターである」ということは成り立たないとすれば下宿しない」ものはある fact7: もし「あの中小企業白書は下宿しない一方でそれは若い」ということは偽であるとすればそれは厳くない fact8: 「もしも「煙たいけれどポスターでない」ということは嘘だとしたら下宿しない」ものはある fact9: もし煙たくない物はポスターでないとすると下宿しない fact10: もし仮に「この超音波は低速でないし煙たくない」ということは嘘であるならばそれは駆け始めない fact11: もしも「何かは煙たくなくてそれはポスターでない」ということは成り立たないならば下宿しない fact12: 「もし仮に「永遠性でなくてしかも制度・機構でない」ということは誤っているなら窒息死する」物はある fact13: 「もし仮に「執筆するということはないし草分け的存在である」ということは間違っていれば視交差でない」ものはある fact14: 仮に「あの人種間は有性でないしさらに機械製品でない」ということは間違っているとするとそれはポスターである fact15: 仮にあの人種間が煙たくないしさらにキッチンペーパーでないとすればそれは多変数分析でない fact16: 仮に「あの人種間は煙たくないしまたポスターでない」ということは間違いであるとすると下宿する fact17: 仮にその住まいが賛成し兼ねないしおまけにそれはポスターでないならそれはフラミンゴ殺しでない fact18: もしもとあるものは千九百八十九Ｃでないし兵器局でないとすれば機械製品でない
fact11 -> int1: もし仮に「「あの人種間は煙たくないしまたポスターだということはない」ということは成り立たない」ということは間違っていないとしたら下宿しない; int1 -> hypothesis;
$facts$ = fact1: 「もし「東急ハンズでないがしかし連結する」ということは成り立つということはないとしたら聞き取り難くない」ものはある fact2: 仮に「あの人種間は煙たいけどポスターでない」ということは成り立たないとしたらそれは下宿しない fact3: もし「あの人種間は執筆しないが体積である」ということは成り立たないとしたら煙たくない fact4: 「この滅菌ガーゼは海浜院でなくてそれにそれは下宿しない」ということは事実と異なれば退職手当て共済契約だ fact5: もしあの人種間はポスターであるとすれば下宿しない fact6: 「もしも「煙たいということはなくてポスターである」ということは成り立たないとすれば下宿しない」ものはある fact7: もし「あの中小企業白書は下宿しない一方でそれは若い」ということは偽であるとすればそれは厳くない fact8: 「もしも「煙たいけれどポスターでない」ということは嘘だとしたら下宿しない」ものはある fact9: もし煙たくない物はポスターでないとすると下宿しない fact10: もし仮に「この超音波は低速でないし煙たくない」ということは嘘であるならばそれは駆け始めない fact11: もしも「何かは煙たくなくてそれはポスターでない」ということは成り立たないならば下宿しない fact12: 「もし仮に「永遠性でなくてしかも制度・機構でない」ということは誤っているなら窒息死する」物はある fact13: 「もし仮に「執筆するということはないし草分け的存在である」ということは間違っていれば視交差でない」ものはある fact14: 仮に「あの人種間は有性でないしさらに機械製品でない」ということは間違っているとするとそれはポスターである fact15: 仮にあの人種間が煙たくないしさらにキッチンペーパーでないとすればそれは多変数分析でない fact16: 仮に「あの人種間は煙たくないしまたポスターでない」ということは間違いであるとすると下宿する fact17: 仮にその住まいが賛成し兼ねないしおまけにそれはポスターでないならそれはフラミンゴ殺しでない fact18: もしもとあるものは千九百八十九Ｃでないし兵器局でないとすれば機械製品でない ; $hypothesis$ = 「「仮に「煙たくないし更にポスターでない」ということは間違いであるとすると下宿するということはない」物はある」ということは事実である ; $proof$ = 
fact11 -> int1: もし仮に「「あの人種間は煙たくないしまたポスターだということはない」ということは成り立たない」ということは間違っていないとしたら下宿しない; int1 -> hypothesis; __PROVED__
事実1: 「もし「東急ハンズでないがしかし連結する」ということは成り立つということはないとしたら聞き取り難くない」ものはある
事実2: 仮に「あの人種間は煙たいけどポスターでない」ということは成り立たないとしたらそれは下宿しない
事実3: もし「あの人種間は執筆しないが体積である」ということは成り立たないとしたら煙たくない
事実4: 「この滅菌ガーゼは海浜院でなくてそれにそれは下宿しない」ということは事実と異なれば退職手当て共済契約だ
事実5: もしあの人種間はポスターであるとすれば下宿しない
事実6: 「もしも「煙たいということはなくてポスターである」ということは成り立たないとすれば下宿しない」ものはある
事実7: もし「あの中小企業白書は下宿しない一方でそれは若い」ということは偽であるとすればそれは厳くない
事実8: 「もしも「煙たいけれどポスターでない」ということは嘘だとしたら下宿しない」ものはある
事実9: もし煙たくない物はポスターでないとすると下宿しない
事実10: もし仮に「この超音波は低速でないし煙たくない」ということは嘘であるならばそれは駆け始めない
事実11: もしも「何かは煙たくなくてそれはポスターでない」ということは成り立たないならば下宿しない
事実12: 「もし仮に「永遠性でなくてしかも制度・機構でない」ということは誤っているなら窒息死する」物はある
事実13: 「もし仮に「執筆するということはないし草分け的存在である」ということは間違っていれば視交差でない」ものはある
事実14: 仮に「あの人種間は有性でないしさらに機械製品でない」ということは間違っているとするとそれはポスターである
事実15: 仮にあの人種間が煙たくないしさらにキッチンペーパーでないとすればそれは多変数分析でない
事実16: 仮に「あの人種間は煙たくないしまたポスターでない」ということは間違いであるとすると下宿する
事実17: 仮にその住まいが賛成し兼ねないしおまけにそれはポスターでないならそれはフラミンゴ殺しでない
事実18: もしもとあるものは千九百八十九Ｃでないし兵器局でないとすれば機械製品でない

仮説: 「「仮に「煙たくないし更にポスターでない」ということは間違いであるとすると下宿するということはない」物はある」ということは事実である
1. 事実11から、推論1: "もし仮に「「あの人種間は煙たくないしまたポスターだということはない」ということは成り立たない」ということは間違っていないとしたら下宿しない"が導かれる
2. 推論1から、仮説が導かれる

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