この畳み方は作業し易い
fact1: もしも早しものがあればこの動物解放は重々しい fact2: 仮にこの動物解放は惜しみ無いとしたら「あの十字架上はキングサーモンだ」ということは確かだ fact3: もしこの畳み方が惜しみ無いということはないかまたは掛け難いかもしくは両方であるとするとその自然食品店Ｂは返答する fact4: 仮に何かは返答しないならば狭いかそれは期し難い fact5: 惜しみ無い物はキングサーモンである fact6: もしこの動物解放が期し難いとしたらその自然食品店Ｂは惜しみ無い fact7: このグラム陰性細菌は角張る fact8: 仮になにかは汚泥中であるとしたらあの十字架上は早ししそれにそれは清々しい fact9: もし仮に何かはトップシークレットであるとすれば汚泥中である fact10: その自然食品店Ｂが掛け難いけれど十二イマーム派でないとするとこの動物解放は惜しみ無い fact11: あの十字架上は十二イマーム派でないかあるいはそれはキングサーモンである fact12: その自然食品店Ｂは十二イマーム派でない fact13: もしなにがしかの物が重々しいとしたら返答しない fact14: 仮にあの十字架上がキングサーモンであるとすればその冗談半分は狭い fact15: もしもその冗談半分が期し難くないかまたは狭いかもしくはどちらもだとするとこの畳み方は返答する fact16: もし「ある物は電気代でないけどそれは心優しい」ということは偽であるなら「それはトップシークレットである」ということは嘘でない fact17: もしもこの動物解放は狭いならば「その自然食品店Ｂは惜しみ無い」ということは確かだ fact18: なにがしかの物が返答するならそれは作業し易い fact19: その自然食品店Ｂは掛け難いけれど十二イマーム派でない fact20: もしあの二個分が書き並べるとしたらあの支払い利息は書き並べる fact21: もし仮になんらかのものが角張ればあの二個分はぎこちないが機動性でない fact22: もしもその自然食品店Ｂが作業し易くないかそれが期し難いか両方ともだとするとその冗談半分は十二イマーム派だ fact23: そのフリーキックは書き並べるとすると「その冗談半分は電気代でないけれど心優しい」ということは嘘である fact24: もしこの畳み方が掛け難いならばあの自然食品店Ｂは返答する fact25: もしあの支払い利息が書き並べるとしたらそのフリーキックは書き並べる fact26: もし仮にぎこちないものは機動性でないとしたらそれは書き並べる
fact10 & fact19 -> int1: 「この動物解放は惜しみ無い」ということは事実と異ならない; int1 & fact2 -> int2: あの十字架上はキングサーモンである; int2 & fact14 -> int3: 「その冗談半分は狭い」ということは成り立つ; int3 -> int4: その冗談半分は期し難くないかそれは狭いかあるいは両方である; int4 & fact15 -> int5: この畳み方は返答する; fact18 -> int6: もし仮にこの畳み方が返答すれば作業し易い; int5 & int6 -> hypothesis;
この畳み方は作業し易くない
fact35 -> int7: その自然食品店Ｂは惜しみ無いとしたら「それはキングサーモンだ」ということは成り立つ; fact27 -> int8: 仮にこの動物解放が返答しないとすれば狭いかあるいは期し難いかあるいはどちらもだ; fact38 -> int9: この動物解放が重々しいとすればそれは返答しない; fact37 -> int10: もしその冗談半分はトップシークレットであるならばそれは汚泥中である; fact33 -> int11: もし「その冗談半分は電気代だということはないが心優しい」ということは嘘であるならばそれはトップシークレットだ; fact28 -> int12: もしあの二個分がぎこちないがそれは機動性でないとするとそれは書き並べる; fact29 -> int13: 「角張る」ものはある; int13 & fact40 -> int14: あの二個分はぎこちないがそれは機動性でない; int12 & int14 -> int15: あの二個分は書き並べる; fact36 & int15 -> int16: あの支払い利息は書き並べる; fact30 & int16 -> int17: そのフリーキックは書き並べる; fact31 & int17 -> int18: 「その冗談半分は電気代でないがしかしそれは心優しい」ということは成り立たない; int11 & int18 -> int19: その冗談半分はトップシークレットだ; int10 & int19 -> int20: 「その冗談半分は汚泥中だ」ということは成り立つ; int20 -> int21: 「汚泥中である」物はある; int21 & fact34 -> int22: あの十字架上は早ししまた清々しい; int22 -> int23: あの十字架上は早し; int23 -> int24: 「早し」物はある; int24 & fact39 -> int25: この動物解放は重々しい; int9 & int25 -> int26: この動物解放は返答しない; int8 & int26 -> int27: この動物解放は狭いかまたは期し難い; int27 & fact32 & fact41 -> int28: その自然食品店Ｂは惜しみ無い; int7 & int28 -> int29: その自然食品店Ｂはキングサーモンである; int29 -> int30: 「「キングサーモンだ」ということは確かな」ものはある;
$facts$ = fact1: もしも早しものがあればこの動物解放は重々しい fact2: 仮にこの動物解放は惜しみ無いとしたら「あの十字架上はキングサーモンだ」ということは確かだ fact3: もしこの畳み方が惜しみ無いということはないかまたは掛け難いかもしくは両方であるとするとその自然食品店Ｂは返答する fact4: 仮に何かは返答しないならば狭いかそれは期し難い fact5: 惜しみ無い物はキングサーモンである fact6: もしこの動物解放が期し難いとしたらその自然食品店Ｂは惜しみ無い fact7: このグラム陰性細菌は角張る fact8: 仮になにかは汚泥中であるとしたらあの十字架上は早ししそれにそれは清々しい fact9: もし仮に何かはトップシークレットであるとすれば汚泥中である fact10: その自然食品店Ｂが掛け難いけれど十二イマーム派でないとするとこの動物解放は惜しみ無い fact11: あの十字架上は十二イマーム派でないかあるいはそれはキングサーモンである fact12: その自然食品店Ｂは十二イマーム派でない fact13: もしなにがしかの物が重々しいとしたら返答しない fact14: 仮にあの十字架上がキングサーモンであるとすればその冗談半分は狭い fact15: もしもその冗談半分が期し難くないかまたは狭いかもしくはどちらもだとするとこの畳み方は返答する fact16: もし「ある物は電気代でないけどそれは心優しい」ということは偽であるなら「それはトップシークレットである」ということは嘘でない fact17: もしもこの動物解放は狭いならば「その自然食品店Ｂは惜しみ無い」ということは確かだ fact18: なにがしかの物が返答するならそれは作業し易い fact19: その自然食品店Ｂは掛け難いけれど十二イマーム派でない fact20: もしあの二個分が書き並べるとしたらあの支払い利息は書き並べる fact21: もし仮になんらかのものが角張ればあの二個分はぎこちないが機動性でない fact22: もしもその自然食品店Ｂが作業し易くないかそれが期し難いか両方ともだとするとその冗談半分は十二イマーム派だ fact23: そのフリーキックは書き並べるとすると「その冗談半分は電気代でないけれど心優しい」ということは嘘である fact24: もしこの畳み方が掛け難いならばあの自然食品店Ｂは返答する fact25: もしあの支払い利息が書き並べるとしたらそのフリーキックは書き並べる fact26: もし仮にぎこちないものは機動性でないとしたらそれは書き並べる ; $hypothesis$ = この畳み方は作業し易い ; $proof$ = 
fact10 & fact19 -> int1: 「この動物解放は惜しみ無い」ということは事実と異ならない; int1 & fact2 -> int2: あの十字架上はキングサーモンである; int2 & fact14 -> int3: 「その冗談半分は狭い」ということは成り立つ; int3 -> int4: その冗談半分は期し難くないかそれは狭いかあるいは両方である; int4 & fact15 -> int5: この畳み方は返答する; fact18 -> int6: もし仮にこの畳み方が返答すれば作業し易い; int5 & int6 -> hypothesis; __PROVED__
事実1: もしも早しものがあればこの動物解放は重々しい
事実2: 仮にこの動物解放は惜しみ無いとしたら「あの十字架上はキングサーモンだ」ということは確かだ
事実3: もしこの畳み方が惜しみ無いということはないかまたは掛け難いかもしくは両方であるとするとその自然食品店Ｂは返答する
事実4: 仮に何かは返答しないならば狭いかそれは期し難い
事実5: 惜しみ無い物はキングサーモンである
事実6: もしこの動物解放が期し難いとしたらその自然食品店Ｂは惜しみ無い
事実7: このグラム陰性細菌は角張る
事実8: 仮になにかは汚泥中であるとしたらあの十字架上は早ししそれにそれは清々しい
事実9: もし仮に何かはトップシークレットであるとすれば汚泥中である
事実10: その自然食品店Ｂが掛け難いけれど十二イマーム派でないとするとこの動物解放は惜しみ無い
事実11: あの十字架上は十二イマーム派でないかあるいはそれはキングサーモンである
事実12: その自然食品店Ｂは十二イマーム派でない
事実13: もしなにがしかの物が重々しいとしたら返答しない
事実14: 仮にあの十字架上がキングサーモンであるとすればその冗談半分は狭い
事実15: もしもその冗談半分が期し難くないかまたは狭いかもしくはどちらもだとするとこの畳み方は返答する
事実16: もし「ある物は電気代でないけどそれは心優しい」ということは偽であるなら「それはトップシークレットである」ということは嘘でない
事実17: もしもこの動物解放は狭いならば「その自然食品店Ｂは惜しみ無い」ということは確かだ
事実18: なにがしかの物が返答するならそれは作業し易い
事実19: その自然食品店Ｂは掛け難いけれど十二イマーム派でない
事実20: もしあの二個分が書き並べるとしたらあの支払い利息は書き並べる
事実21: もし仮になんらかのものが角張ればあの二個分はぎこちないが機動性でない
事実22: もしもその自然食品店Ｂが作業し易くないかそれが期し難いか両方ともだとするとその冗談半分は十二イマーム派だ
事実23: そのフリーキックは書き並べるとすると「その冗談半分は電気代でないけれど心優しい」ということは嘘である
事実24: もしこの畳み方が掛け難いならばあの自然食品店Ｂは返答する
事実25: もしあの支払い利息が書き並べるとしたらそのフリーキックは書き並べる
事実26: もし仮にぎこちないものは機動性でないとしたらそれは書き並べる

仮説: この畳み方は作業し易い
1. 事実10と事実19から、推論1: "「この動物解放は惜しみ無い」ということは事実と異ならない"が導かれる
2. 推論1と事実2から、推論2: "あの十字架上はキングサーモンである"が導かれる
3. 推論2と事実14から、推論3: "「その冗談半分は狭い」ということは成り立つ"が導かれる
4. 推論3から、推論4: "その冗談半分は期し難くないかそれは狭いかあるいは両方である"が導かれる
5. 推論4と事実15から、推論5: "この畳み方は返答する"が導かれる
6. 事実18から、推論6: "もし仮にこの畳み方が返答すれば作業し易い"が導かれる
7. 推論5と推論6から、仮説が導かれる

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