その使用物品は十九日発行である
fact1: なにがしかの物が十九日発行だということはないとしたらそれは犯し易くないしその上それは豆腐料理でない fact2: もし仮にその介護保険は犯し易いということはなくてまた豆腐料理でないなら仕舞い易い fact3: この対象者自身は常傭するということはない fact4: もし仮にあの中二が紛うということはなくてそれが結わかないとすればこの対象者自身は十九日発行である fact5: 仮にその使用物品が休職しないならばその介護保険は吊り上がらない fact6: なにがしかの物は常傭するかあるいはそれは豆腐料理であるかあるいはどちらもだ fact7: あの物書きが復元図だしそれは時毎だ fact8: もしこの対象者自身が十九日発行だとしたらその介護保険は十九日発行であるということはない fact9: もし仮にあの中二が豆腐料理であるとしたらその使用物品は十九日発行である fact10: 「その介護保険は吊り上がらない」ということは本当であるとするとそれは復元図であるしおまけに時毎だ fact11: あの中二が豆腐料理だけどそれは十九日発行でないならそれは発売元だ fact12: 仮にこの高圧ガスは豆腐料理でないとしたら「あの中二は豆腐料理でない」ということは間違っていない fact13: 「あの中二は忍び難くない」ということは成り立つ fact14: もしも「この対象者自身は保留するがそれは常傭しない」ということは確かならばそれは犯し易い fact15: もしも「犯し易いかまたは発売元であるかもしくは両方ともな」ものがあるとすればあの中二は豆腐料理だ fact16: あの中二が忍び難くないならそれは紛わなくてまた結わかない fact17: この対象者自身は保留するがしかし常傭しない fact18: もしも「発売元な」ものはあるとしたら「あの中二は豆腐料理だ」ということは真実だ fact19: この対象者自身はさもしいがしかし襲名しない fact20: 「十九日発行でない」ものがあるならばあの対象者自身は十九日発行であるということはないか発売元でないかまたは両方ともである fact21: 仮にこの対象者自身が保留するしさらにそれが常傭するなら犯し易い
fact14 & fact17 -> int1: この対象者自身は犯し易い; int1 -> int2: 「この対象者自身は犯し易いか発売元だ」ということは誤りでない; int2 -> int3: 「犯し易いかあるいは発売元な」物はある; int3 & fact15 -> int4: あの中二は豆腐料理だ; int4 & fact9 -> hypothesis;
「その使用物品は十九日発行でない」ということは確かである
fact23 -> int5: ある物は復元図で時毎である;
$facts$ = fact1: なにがしかの物が十九日発行だということはないとしたらそれは犯し易くないしその上それは豆腐料理でない fact2: もし仮にその介護保険は犯し易いということはなくてまた豆腐料理でないなら仕舞い易い fact3: この対象者自身は常傭するということはない fact4: もし仮にあの中二が紛うということはなくてそれが結わかないとすればこの対象者自身は十九日発行である fact5: 仮にその使用物品が休職しないならばその介護保険は吊り上がらない fact6: なにがしかの物は常傭するかあるいはそれは豆腐料理であるかあるいはどちらもだ fact7: あの物書きが復元図だしそれは時毎だ fact8: もしこの対象者自身が十九日発行だとしたらその介護保険は十九日発行であるということはない fact9: もし仮にあの中二が豆腐料理であるとしたらその使用物品は十九日発行である fact10: 「その介護保険は吊り上がらない」ということは本当であるとするとそれは復元図であるしおまけに時毎だ fact11: あの中二が豆腐料理だけどそれは十九日発行でないならそれは発売元だ fact12: 仮にこの高圧ガスは豆腐料理でないとしたら「あの中二は豆腐料理でない」ということは間違っていない fact13: 「あの中二は忍び難くない」ということは成り立つ fact14: もしも「この対象者自身は保留するがそれは常傭しない」ということは確かならばそれは犯し易い fact15: もしも「犯し易いかまたは発売元であるかもしくは両方ともな」ものがあるとすればあの中二は豆腐料理だ fact16: あの中二が忍び難くないならそれは紛わなくてまた結わかない fact17: この対象者自身は保留するがしかし常傭しない fact18: もしも「発売元な」ものはあるとしたら「あの中二は豆腐料理だ」ということは真実だ fact19: この対象者自身はさもしいがしかし襲名しない fact20: 「十九日発行でない」ものがあるならばあの対象者自身は十九日発行であるということはないか発売元でないかまたは両方ともである fact21: 仮にこの対象者自身が保留するしさらにそれが常傭するなら犯し易い ; $hypothesis$ = その使用物品は十九日発行である ; $proof$ = 
fact14 & fact17 -> int1: この対象者自身は犯し易い; int1 -> int2: 「この対象者自身は犯し易いか発売元だ」ということは誤りでない; int2 -> int3: 「犯し易いかあるいは発売元な」物はある; int3 & fact15 -> int4: あの中二は豆腐料理だ; int4 & fact9 -> hypothesis; __PROVED__
事実1: なにがしかの物が十九日発行だということはないとしたらそれは犯し易くないしその上それは豆腐料理でない
事実2: もし仮にその介護保険は犯し易いということはなくてまた豆腐料理でないなら仕舞い易い
事実3: この対象者自身は常傭するということはない
事実4: もし仮にあの中二が紛うということはなくてそれが結わかないとすればこの対象者自身は十九日発行である
事実5: 仮にその使用物品が休職しないならばその介護保険は吊り上がらない
事実6: なにがしかの物は常傭するかあるいはそれは豆腐料理であるかあるいはどちらもだ
事実7: あの物書きが復元図だしそれは時毎だ
事実8: もしこの対象者自身が十九日発行だとしたらその介護保険は十九日発行であるということはない
事実9: もし仮にあの中二が豆腐料理であるとしたらその使用物品は十九日発行である
事実10: 「その介護保険は吊り上がらない」ということは本当であるとするとそれは復元図であるしおまけに時毎だ
事実11: あの中二が豆腐料理だけどそれは十九日発行でないならそれは発売元だ
事実12: 仮にこの高圧ガスは豆腐料理でないとしたら「あの中二は豆腐料理でない」ということは間違っていない
事実13: 「あの中二は忍び難くない」ということは成り立つ
事実14: もしも「この対象者自身は保留するがそれは常傭しない」ということは確かならばそれは犯し易い
事実15: もしも「犯し易いかまたは発売元であるかもしくは両方ともな」ものがあるとすればあの中二は豆腐料理だ
事実16: あの中二が忍び難くないならそれは紛わなくてまた結わかない
事実17: この対象者自身は保留するがしかし常傭しない
事実18: もしも「発売元な」ものはあるとしたら「あの中二は豆腐料理だ」ということは真実だ
事実19: この対象者自身はさもしいがしかし襲名しない
事実20: 「十九日発行でない」ものがあるならばあの対象者自身は十九日発行であるということはないか発売元でないかまたは両方ともである
事実21: 仮にこの対象者自身が保留するしさらにそれが常傭するなら犯し易い

仮説: その使用物品は十九日発行である
1. 事実14と事実17から、推論1: "この対象者自身は犯し易い"が導かれる
2. 推論1から、推論2: "「この対象者自身は犯し易いか発売元だ」ということは誤りでない"が導かれる
3. 推論2から、推論3: "「犯し易いかあるいは発売元な」物はある"が導かれる
4. 推論3と事実15から、推論4: "あの中二は豆腐料理だ"が導かれる
5. 推論4と事実9から、仮説が導かれる

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