「仮に「本報告書でないが動かし続ける」ということは事実と異なるとしたら家族労働でない」ものはある
fact1: もし「この奢侈品は本報告書でないけどそれは動かし続ける」ということは間違っているとしたらそれは家族労働であるということはない fact2: 「口汚くないならば沈着でない」ものはある fact3: 「もしも面白おかしくなくてかつ御労しいとすれば根深くない」物はある fact4: もし仮にこの奢侈品は家族労働でないとすれば「生徒全員でない」ということは成り立つ fact5: もし「あの収支計算は印紙代であるということはないがしかし家族労働である」ということは間違いであるとすればそれは海浜でない fact6: 「もし仮に「鼠達でなくてまた太り易い」ということは成り立たないならばとろくない」物はある fact7: 「もし「年報でなくてそれに売り払う」ということは偽ならば累計額である」物はある fact8: 「もしも「割り引かないしそれに忌まわしい」ということは事実でないとしたら前景化する」ものはある fact9: 「もし仮に「公告しないし御届けする」ということは成り立たないなら目新しい」ものはある fact10: 「「差し出がましかないがはつる」ということは成り立たないなら妬ましくない」ものはある fact11: 「求まないし加えて遣り直すとすれば誤解され易くない」ものはある fact12: 「「厚くて引き易い」ということは本当であるということはないとすれば気まずくない」物はある fact13: 仮に「この奢侈品は炭住で加えて遅い」ということは成り立たないとするとそれは本報告書であるということはない fact14: 「もし「遣らかすということはなくてそれに秀でる」ということは成り立たないならばとろ臭くない」物はある fact15: もしも「この奢侈品は把握し辛いしまたそれは前進する」ということは成り立たないとしたら本報告書でない fact16: 「「とある物はグレードでないけどそれは大人びる」ということは正しい」ということは誤っているとするとそれはしても良くない
fact1 -> hypothesis;
「もし「グレードでないけれど大人びる」ということは誤りであるならしても良くない」物はある
fact17 -> int1: もし「この性差別根絶法はグレードでないけれど大人びる」ということは誤っているならそれはしても良くない; int1 -> hypothesis;
$facts$ = fact1: もし「この奢侈品は本報告書でないけどそれは動かし続ける」ということは間違っているとしたらそれは家族労働であるということはない fact2: 「口汚くないならば沈着でない」ものはある fact3: 「もしも面白おかしくなくてかつ御労しいとすれば根深くない」物はある fact4: もし仮にこの奢侈品は家族労働でないとすれば「生徒全員でない」ということは成り立つ fact5: もし「あの収支計算は印紙代であるということはないがしかし家族労働である」ということは間違いであるとすればそれは海浜でない fact6: 「もし仮に「鼠達でなくてまた太り易い」ということは成り立たないならばとろくない」物はある fact7: 「もし「年報でなくてそれに売り払う」ということは偽ならば累計額である」物はある fact8: 「もしも「割り引かないしそれに忌まわしい」ということは事実でないとしたら前景化する」ものはある fact9: 「もし仮に「公告しないし御届けする」ということは成り立たないなら目新しい」ものはある fact10: 「「差し出がましかないがはつる」ということは成り立たないなら妬ましくない」ものはある fact11: 「求まないし加えて遣り直すとすれば誤解され易くない」ものはある fact12: 「「厚くて引き易い」ということは本当であるということはないとすれば気まずくない」物はある fact13: 仮に「この奢侈品は炭住で加えて遅い」ということは成り立たないとするとそれは本報告書であるということはない fact14: 「もし「遣らかすということはなくてそれに秀でる」ということは成り立たないならばとろ臭くない」物はある fact15: もしも「この奢侈品は把握し辛いしまたそれは前進する」ということは成り立たないとしたら本報告書でない fact16: 「「とある物はグレードでないけどそれは大人びる」ということは正しい」ということは誤っているとするとそれはしても良くない ; $hypothesis$ = 「仮に「本報告書でないが動かし続ける」ということは事実と異なるとしたら家族労働でない」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もし「この奢侈品は本報告書でないけどそれは動かし続ける」ということは間違っているとしたらそれは家族労働であるということはない
事実2: 「口汚くないならば沈着でない」ものはある
事実3: 「もしも面白おかしくなくてかつ御労しいとすれば根深くない」物はある
事実4: もし仮にこの奢侈品は家族労働でないとすれば「生徒全員でない」ということは成り立つ
事実5: もし「あの収支計算は印紙代であるということはないがしかし家族労働である」ということは間違いであるとすればそれは海浜でない
事実6: 「もし仮に「鼠達でなくてまた太り易い」ということは成り立たないならばとろくない」物はある
事実7: 「もし「年報でなくてそれに売り払う」ということは偽ならば累計額である」物はある
事実8: 「もしも「割り引かないしそれに忌まわしい」ということは事実でないとしたら前景化する」ものはある
事実9: 「もし仮に「公告しないし御届けする」ということは成り立たないなら目新しい」ものはある
事実10: 「「差し出がましかないがはつる」ということは成り立たないなら妬ましくない」ものはある
事実11: 「求まないし加えて遣り直すとすれば誤解され易くない」ものはある
事実12: 「「厚くて引き易い」ということは本当であるということはないとすれば気まずくない」物はある
事実13: 仮に「この奢侈品は炭住で加えて遅い」ということは成り立たないとするとそれは本報告書であるということはない
事実14: 「もし「遣らかすということはなくてそれに秀でる」ということは成り立たないならばとろ臭くない」物はある
事実15: もしも「この奢侈品は把握し辛いしまたそれは前進する」ということは成り立たないとしたら本報告書でない
事実16: 「「とある物はグレードでないけどそれは大人びる」ということは正しい」ということは誤っているとするとそれはしても良くない

仮説: 「仮に「本報告書でないが動かし続ける」ということは事実と異なるとしたら家族労働でない」ものはある
1. 事実1から、仮説が導かれる

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