この略式は各管理職者でない
fact1: もしその無期刑は古しとすれば「すっぽかさないし滅びない」ということは嘘である fact2: もし仮にこの略式が末恐ろしいとしたら購入御役立ちメモでない fact3: 扱い易いものは研究例だが当該患者でない fact4: 「その無期刑は各管理職者である一方で当該患者でない」ということは事実と異なる fact5: もし仮にあの内側毛帯は扱い易いならば「「この略式は扱い易くないが滅びる」ということは誤りだ」ということは事実だ fact6: あの民族文化が購入御役立ちメモでないしさらに御忙しくないならその無期刑は当該患者である fact7: 「この略式は扱い易くて滅びる」ということは成り立たない fact8: もし仮に「この紳士協定は恋しかない」ということは真実だとしたらあの内側毛帯は扱い易い fact9: もしもあの民族文化が各管理職者だとしたらこの略式は各管理職者である fact10: この略式はディコードする fact11: もし仮にその無期刑は当該患者ならば「この紳士協定は研究例でその上それは当該患者である」ということは誤りだ fact12: もし「この略式は末恐ろしくないが御忙しい」ということは間違っているとしたらそれは当該患者だ fact13: もし仮に「その無期刑はすっぽかさないし滅びない」ということは偽だとすると「それは扱い易くない」ということは偽だ fact14: 仮にこの略式はすっぽかすしその上古しなら「各管理職者でない」ということは間違いでない fact15: その無期刑は当該患者であるとしたら「この紳士協定は研究例だがしかしそれは当該患者でない」ということは成り立つということはない fact16: もしも「この略式は扱い易くないけど滅びる」ということは誤っているとするとすっぽかす fact17: あの民族文化は購入御役立ちメモでなくてそれに御忙しくない fact18: もし仮にこの略式は扱い易いなら「それはすっぽかす」ということは真実だ fact19: この略式は末恐ろしいししかも古し fact20: もし仮に「この紳士協定は研究例だけど当該患者でない」ということは成り立たないとしたらそれは恋しいということはない
fact6 & fact17 -> int1: その無期刑は当該患者である; int1 & fact15 -> int2: 「この紳士協定が研究例だけど当該患者であるということはない」ということは成り立たない; int2 & fact20 -> int3: この紳士協定は恋しかない; int3 & fact8 -> int4: あの内側毛帯は扱い易い; int4 & fact5 -> int5: 「この略式は扱い易いということはない一方で滅びる」ということは間違っている; int5 & fact16 -> int6: この略式はすっぽかす; fact19 -> int7: この略式は古し; int6 & int7 -> int8: この略式はすっぽかすし古し; int8 & fact14 -> hypothesis;
この略式は各管理職者である
fact24 -> int9: もしもその無期刑が扱い易いならばそれは研究例であるけれど当該患者でない;
$facts$ = fact1: もしその無期刑は古しとすれば「すっぽかさないし滅びない」ということは嘘である fact2: もし仮にこの略式が末恐ろしいとしたら購入御役立ちメモでない fact3: 扱い易いものは研究例だが当該患者でない fact4: 「その無期刑は各管理職者である一方で当該患者でない」ということは事実と異なる fact5: もし仮にあの内側毛帯は扱い易いならば「「この略式は扱い易くないが滅びる」ということは誤りだ」ということは事実だ fact6: あの民族文化が購入御役立ちメモでないしさらに御忙しくないならその無期刑は当該患者である fact7: 「この略式は扱い易くて滅びる」ということは成り立たない fact8: もし仮に「この紳士協定は恋しかない」ということは真実だとしたらあの内側毛帯は扱い易い fact9: もしもあの民族文化が各管理職者だとしたらこの略式は各管理職者である fact10: この略式はディコードする fact11: もし仮にその無期刑は当該患者ならば「この紳士協定は研究例でその上それは当該患者である」ということは誤りだ fact12: もし「この略式は末恐ろしくないが御忙しい」ということは間違っているとしたらそれは当該患者だ fact13: もし仮に「その無期刑はすっぽかさないし滅びない」ということは偽だとすると「それは扱い易くない」ということは偽だ fact14: 仮にこの略式はすっぽかすしその上古しなら「各管理職者でない」ということは間違いでない fact15: その無期刑は当該患者であるとしたら「この紳士協定は研究例だがしかしそれは当該患者でない」ということは成り立つということはない fact16: もしも「この略式は扱い易くないけど滅びる」ということは誤っているとするとすっぽかす fact17: あの民族文化は購入御役立ちメモでなくてそれに御忙しくない fact18: もし仮にこの略式は扱い易いなら「それはすっぽかす」ということは真実だ fact19: この略式は末恐ろしいししかも古し fact20: もし仮に「この紳士協定は研究例だけど当該患者でない」ということは成り立たないとしたらそれは恋しいということはない ; $hypothesis$ = この略式は各管理職者でない ; $proof$ = 
fact6 & fact17 -> int1: その無期刑は当該患者である; int1 & fact15 -> int2: 「この紳士協定が研究例だけど当該患者であるということはない」ということは成り立たない; int2 & fact20 -> int3: この紳士協定は恋しかない; int3 & fact8 -> int4: あの内側毛帯は扱い易い; int4 & fact5 -> int5: 「この略式は扱い易いということはない一方で滅びる」ということは間違っている; int5 & fact16 -> int6: この略式はすっぽかす; fact19 -> int7: この略式は古し; int6 & int7 -> int8: この略式はすっぽかすし古し; int8 & fact14 -> hypothesis; __PROVED__
事実1: もしその無期刑は古しとすれば「すっぽかさないし滅びない」ということは嘘である
事実2: もし仮にこの略式が末恐ろしいとしたら購入御役立ちメモでない
事実3: 扱い易いものは研究例だが当該患者でない
事実4: 「その無期刑は各管理職者である一方で当該患者でない」ということは事実と異なる
事実5: もし仮にあの内側毛帯は扱い易いならば「「この略式は扱い易くないが滅びる」ということは誤りだ」ということは事実だ
事実6: あの民族文化が購入御役立ちメモでないしさらに御忙しくないならその無期刑は当該患者である
事実7: 「この略式は扱い易くて滅びる」ということは成り立たない
事実8: もし仮に「この紳士協定は恋しかない」ということは真実だとしたらあの内側毛帯は扱い易い
事実9: もしもあの民族文化が各管理職者だとしたらこの略式は各管理職者である
事実10: この略式はディコードする
事実11: もし仮にその無期刑は当該患者ならば「この紳士協定は研究例でその上それは当該患者である」ということは誤りだ
事実12: もし「この略式は末恐ろしくないが御忙しい」ということは間違っているとしたらそれは当該患者だ
事実13: もし仮に「その無期刑はすっぽかさないし滅びない」ということは偽だとすると「それは扱い易くない」ということは偽だ
事実14: 仮にこの略式はすっぽかすしその上古しなら「各管理職者でない」ということは間違いでない
事実15: その無期刑は当該患者であるとしたら「この紳士協定は研究例だがしかしそれは当該患者でない」ということは成り立つということはない
事実16: もしも「この略式は扱い易くないけど滅びる」ということは誤っているとするとすっぽかす
事実17: あの民族文化は購入御役立ちメモでなくてそれに御忙しくない
事実18: もし仮にこの略式は扱い易いなら「それはすっぽかす」ということは真実だ
事実19: この略式は末恐ろしいししかも古し
事実20: もし仮に「この紳士協定は研究例だけど当該患者でない」ということは成り立たないとしたらそれは恋しいということはない

仮説: この略式は各管理職者でない
1. 事実6と事実17から、推論1: "その無期刑は当該患者である"が導かれる
2. 推論1と事実15から、推論2: "「この紳士協定が研究例だけど当該患者であるということはない」ということは成り立たない"が導かれる
3. 推論2と事実20から、推論3: "この紳士協定は恋しかない"が導かれる
4. 推論3と事実8から、推論4: "あの内側毛帯は扱い易い"が導かれる
5. 推論4と事実5から、推論5: "「この略式は扱い易いということはない一方で滅びる」ということは間違っている"が導かれる
6. 推論5と事実16から、推論6: "この略式はすっぽかす"が導かれる
7. 事実19から、推論7: "この略式は古し"が導かれる
8. 推論6と推論7から、推論8: "この略式はすっぽかすし古し"が導かれる
9. 推論8と事実14から、仮説が導かれる

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