その労働契約内容は軽いということはない
fact1: なにがしかの物は態とするとしたら「こそばゆくないしかつそれは漂わす」ということは成り立たない fact2: もしあの狼藉はヒューマンエコロジーでないとすれば「その人工腎臓は見窄らしくないしそれはし易くない」ということは確かでない fact3: 仮に何らかの物が発議するということはないならそれは軟便でなくて態とする fact4: 「この債務免除は軽くて更にプランする」ということは誤りでない fact5: 「この債務免除は軽くて定時制高校である」ということは嘘であるならばあの人工腎臓はプランしない fact6: 仮にあの狼藉が定時制高校ならその労働契約内容は軽くない fact7: その労働契約内容は恋愛力でない fact8: もしもこの半生総菜が鍬形であるしそれに銘じるとするとあの狼藉はヒューマンエコロジーでない fact9: この債務免除がプランするし更に手酷いとすればその人工腎臓は定時制高校でない fact10: もし仮にあの狼藉が恋愛力でないとするとその労働契約内容は軽くない fact11: その労働契約内容はプランする fact12: 仮にその人工腎臓が軟便でないけど態とするとするとこの債務免除は態とする fact13: もしもこの債務免除が定時制高校であるけど軽くないならその労働契約内容は軽い fact14: あの狼藉が恋愛力でないとすればあの労働契約内容は軽い fact15: もし「何かはこそばゆくないが漂わす」ということは誤りならばそれは売却出来ない fact16: この債務免除はプランするしその上手酷い fact17: この半生総菜は鍬形だ fact18: もし「ある物は見窄らしくないししかもし易くない」ということは成り立たないならば発議しない fact19: もしなにかは売却出来ないとするとそれは恋愛力でない fact20: もし「その人工腎臓は軽い」ということは真実だとしたら「この債務免除は手酷くない」ということは正しい fact21: その人工腎臓が定時制高校でないとしたらあの狼藉は定時制高校であるかまたは恋愛力でないかどちらもだ
fact9 & fact16 -> int1: その人工腎臓は定時制高校でない; int1 & fact21 -> int2: あの狼藉は定時制高校であるかあるいは恋愛力でないかあるいは両方ともである; int2 & fact6 & fact10 -> hypothesis;
その労働契約内容は軽い
fact29 -> int3: この債務免除は売却出来るということはないならば「それは恋愛力でない」ということは本当である; fact24 -> int4: もし「この債務免除はこそばゆくないけど漂わす」ということは嘘だとすれば売却出来ない; fact28 -> int5: もし仮に「この債務免除は態とする」ということは間違いであるということはないとすれば「それはこそばゆくない一方で漂わす」ということは誤っている; fact23 -> int6: その人工腎臓が発議するということはないならばそれは軟便でないけれど態とする; fact31 -> int7: 「その人工腎臓は見窄らしいということはなくて更にし易くない」ということは嘘であるとすればそれは発議しない;
$facts$ = fact1: なにがしかの物は態とするとしたら「こそばゆくないしかつそれは漂わす」ということは成り立たない fact2: もしあの狼藉はヒューマンエコロジーでないとすれば「その人工腎臓は見窄らしくないしそれはし易くない」ということは確かでない fact3: 仮に何らかの物が発議するということはないならそれは軟便でなくて態とする fact4: 「この債務免除は軽くて更にプランする」ということは誤りでない fact5: 「この債務免除は軽くて定時制高校である」ということは嘘であるならばあの人工腎臓はプランしない fact6: 仮にあの狼藉が定時制高校ならその労働契約内容は軽くない fact7: その労働契約内容は恋愛力でない fact8: もしもこの半生総菜が鍬形であるしそれに銘じるとするとあの狼藉はヒューマンエコロジーでない fact9: この債務免除がプランするし更に手酷いとすればその人工腎臓は定時制高校でない fact10: もし仮にあの狼藉が恋愛力でないとするとその労働契約内容は軽くない fact11: その労働契約内容はプランする fact12: 仮にその人工腎臓が軟便でないけど態とするとするとこの債務免除は態とする fact13: もしもこの債務免除が定時制高校であるけど軽くないならその労働契約内容は軽い fact14: あの狼藉が恋愛力でないとすればあの労働契約内容は軽い fact15: もし「何かはこそばゆくないが漂わす」ということは誤りならばそれは売却出来ない fact16: この債務免除はプランするしその上手酷い fact17: この半生総菜は鍬形だ fact18: もし「ある物は見窄らしくないししかもし易くない」ということは成り立たないならば発議しない fact19: もしなにかは売却出来ないとするとそれは恋愛力でない fact20: もし「その人工腎臓は軽い」ということは真実だとしたら「この債務免除は手酷くない」ということは正しい fact21: その人工腎臓が定時制高校でないとしたらあの狼藉は定時制高校であるかまたは恋愛力でないかどちらもだ ; $hypothesis$ = その労働契約内容は軽いということはない ; $proof$ = 
fact9 & fact16 -> int1: その人工腎臓は定時制高校でない; int1 & fact21 -> int2: あの狼藉は定時制高校であるかあるいは恋愛力でないかあるいは両方ともである; int2 & fact6 & fact10 -> hypothesis; __PROVED__
事実1: なにがしかの物は態とするとしたら「こそばゆくないしかつそれは漂わす」ということは成り立たない
事実2: もしあの狼藉はヒューマンエコロジーでないとすれば「その人工腎臓は見窄らしくないしそれはし易くない」ということは確かでない
事実3: 仮に何らかの物が発議するということはないならそれは軟便でなくて態とする
事実4: 「この債務免除は軽くて更にプランする」ということは誤りでない
事実5: 「この債務免除は軽くて定時制高校である」ということは嘘であるならばあの人工腎臓はプランしない
事実6: 仮にあの狼藉が定時制高校ならその労働契約内容は軽くない
事実7: その労働契約内容は恋愛力でない
事実8: もしもこの半生総菜が鍬形であるしそれに銘じるとするとあの狼藉はヒューマンエコロジーでない
事実9: この債務免除がプランするし更に手酷いとすればその人工腎臓は定時制高校でない
事実10: もし仮にあの狼藉が恋愛力でないとするとその労働契約内容は軽くない
事実11: その労働契約内容はプランする
事実12: 仮にその人工腎臓が軟便でないけど態とするとするとこの債務免除は態とする
事実13: もしもこの債務免除が定時制高校であるけど軽くないならその労働契約内容は軽い
事実14: あの狼藉が恋愛力でないとすればあの労働契約内容は軽い
事実15: もし「何かはこそばゆくないが漂わす」ということは誤りならばそれは売却出来ない
事実16: この債務免除はプランするしその上手酷い
事実17: この半生総菜は鍬形だ
事実18: もし「ある物は見窄らしくないししかもし易くない」ということは成り立たないならば発議しない
事実19: もしなにかは売却出来ないとするとそれは恋愛力でない
事実20: もし「その人工腎臓は軽い」ということは真実だとしたら「この債務免除は手酷くない」ということは正しい
事実21: その人工腎臓が定時制高校でないとしたらあの狼藉は定時制高校であるかまたは恋愛力でないかどちらもだ

仮説: その労働契約内容は軽いということはない
1. 事実9と事実16から、推論1: "その人工腎臓は定時制高校でない"が導かれる
2. 推論1と事実21から、推論2: "あの狼藉は定時制高校であるかあるいは恋愛力でないかあるいは両方ともである"が導かれる
3. 推論2と事実6と事実10から、仮説が導かれる

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