その一つ置きは十一世紀前半だ
fact1: このピストン型は消し忘れるということはなくて加えて揉み解さない fact2: もしなにがしかのものが揉み解さないなら軽しないしかつ消し忘れない fact3: もしもその一つ置きは揉み解さないとすれば「このピストン型は十一世紀前半でないけど揉み解す」ということは嘘である fact4: もし仮に「「その生活実態・意識は作業し易くないしそれに揉み解さない」ということは成り立つ」ということは誤りであるとしたらその一つ置きは十一世紀前半である fact5: その最強戦は作業し易い fact6: その一つ置きは消し忘れないなら「このピストン型は作業し易いということはないし消し忘れない」ということは間違っている fact7: もしもその生活実態・意識は社会監査書でないとすると「このピストン型は十一世紀前半だが作業し易くない」ということは事実である fact8: もしこのピストン型は揉み解さないとすれば「その生活実態・意識は作業し易くないしさらに揉み解さない」ということは成り立たない fact9: 「その一つ置きは消し忘れないがしかしそれは生産環境だ」ということは偽だ fact10: 仮にその一つ置きは十一世紀前半でないとすると「その生活実態・意識は作業し易いということはなくて更に十一世紀前半でない」ということは間違いである fact11: 仮にその一つ置きが揉み解すならその生活実態・意識は十一世紀前半だ fact12: もしとある物が起き始めるとしたらそれは隅角だ fact13: 「その一つ置きは惜しみ無くないし更に空っ風でない」ということは成り立たない fact14: その生活実態・意識は消し忘れないしその上それは揉み解さない fact15: もしもその生活実態・意識は十一世紀前半であるということはないとすると「その一つ置きは作業し易くない一方で十一世紀前半だ」ということは成り立つということはない fact16: 「その一つ置きは併合しない」ということは本当だ fact17: もしなんらかの物が隅角だとするとそれは百万円以上である fact18: もしも何らかの物が百万円以上であるとすればそれは社会監査書であるかあるいは追い掛け始めない fact19: もしもその一つ置きが社会監査書であるか追い掛け始めないか両方であるならばその生活実態・意識は社会監査書でない fact20: あの仮説検証は消し忘れる fact21: その一つ置きは起き始める fact22: もしその生活実態・意識は作業し易くないとすると「このピストン型は揉み解すということはないがそれは作業し易い」ということは誤りだ
fact1 -> int1: このピストン型は揉み解さない; int1 & fact8 -> int2: 「「その生活実態・意識は作業し易くないし更に揉み解すということはない」ということは本当だ」ということは事実と異なる; int2 & fact4 -> hypothesis;
「そのシルバーチップは軽しないしまた消し忘れない」ということは確かだ
fact28 -> int3: そのシルバーチップが揉み解さないとするとそれは軽しないしその上消し忘れない; fact24 -> int4: 「その一つ置きが百万円以上であるならその一つ置きは社会監査書であるかそれは追い掛け始めるということはないかもしくは両方ともだ」ということは事実である; fact25 -> int5: 「その一つ置きが隅角であるならばその一つ置きは百万円以上である」ということは成り立つ; fact23 -> int6: もしもその一つ置きが起き始めるとすればそれは隅角である; int6 & fact29 -> int7: その一つ置きは隅角だ; int5 & int7 -> int8: その一つ置きは百万円以上である; int4 & int8 -> int9: その一つ置きは社会監査書であるかまたは追い掛け始めないかあるいは両方ともである; fact26 & int9 -> int10: その生活実態・意識は社会監査書でない; fact27 & int10 -> int11: このピストン型は十一世紀前半であるけれど作業し易くない; int11 -> int12: 「十一世紀前半であるけれど作業し易くない」物はある;
$facts$ = fact1: このピストン型は消し忘れるということはなくて加えて揉み解さない fact2: もしなにがしかのものが揉み解さないなら軽しないしかつ消し忘れない fact3: もしもその一つ置きは揉み解さないとすれば「このピストン型は十一世紀前半でないけど揉み解す」ということは嘘である fact4: もし仮に「「その生活実態・意識は作業し易くないしそれに揉み解さない」ということは成り立つ」ということは誤りであるとしたらその一つ置きは十一世紀前半である fact5: その最強戦は作業し易い fact6: その一つ置きは消し忘れないなら「このピストン型は作業し易いということはないし消し忘れない」ということは間違っている fact7: もしもその生活実態・意識は社会監査書でないとすると「このピストン型は十一世紀前半だが作業し易くない」ということは事実である fact8: もしこのピストン型は揉み解さないとすれば「その生活実態・意識は作業し易くないしさらに揉み解さない」ということは成り立たない fact9: 「その一つ置きは消し忘れないがしかしそれは生産環境だ」ということは偽だ fact10: 仮にその一つ置きは十一世紀前半でないとすると「その生活実態・意識は作業し易いということはなくて更に十一世紀前半でない」ということは間違いである fact11: 仮にその一つ置きが揉み解すならその生活実態・意識は十一世紀前半だ fact12: もしとある物が起き始めるとしたらそれは隅角だ fact13: 「その一つ置きは惜しみ無くないし更に空っ風でない」ということは成り立たない fact14: その生活実態・意識は消し忘れないしその上それは揉み解さない fact15: もしもその生活実態・意識は十一世紀前半であるということはないとすると「その一つ置きは作業し易くない一方で十一世紀前半だ」ということは成り立つということはない fact16: 「その一つ置きは併合しない」ということは本当だ fact17: もしなんらかの物が隅角だとするとそれは百万円以上である fact18: もしも何らかの物が百万円以上であるとすればそれは社会監査書であるかあるいは追い掛け始めない fact19: もしもその一つ置きが社会監査書であるか追い掛け始めないか両方であるならばその生活実態・意識は社会監査書でない fact20: あの仮説検証は消し忘れる fact21: その一つ置きは起き始める fact22: もしその生活実態・意識は作業し易くないとすると「このピストン型は揉み解すということはないがそれは作業し易い」ということは誤りだ ; $hypothesis$ = その一つ置きは十一世紀前半だ ; $proof$ = 
fact1 -> int1: このピストン型は揉み解さない; int1 & fact8 -> int2: 「「その生活実態・意識は作業し易くないし更に揉み解すということはない」ということは本当だ」ということは事実と異なる; int2 & fact4 -> hypothesis; __PROVED__
事実1: このピストン型は消し忘れるということはなくて加えて揉み解さない
事実2: もしなにがしかのものが揉み解さないなら軽しないしかつ消し忘れない
事実3: もしもその一つ置きは揉み解さないとすれば「このピストン型は十一世紀前半でないけど揉み解す」ということは嘘である
事実4: もし仮に「「その生活実態・意識は作業し易くないしそれに揉み解さない」ということは成り立つ」ということは誤りであるとしたらその一つ置きは十一世紀前半である
事実5: その最強戦は作業し易い
事実6: その一つ置きは消し忘れないなら「このピストン型は作業し易いということはないし消し忘れない」ということは間違っている
事実7: もしもその生活実態・意識は社会監査書でないとすると「このピストン型は十一世紀前半だが作業し易くない」ということは事実である
事実8: もしこのピストン型は揉み解さないとすれば「その生活実態・意識は作業し易くないしさらに揉み解さない」ということは成り立たない
事実9: 「その一つ置きは消し忘れないがしかしそれは生産環境だ」ということは偽だ
事実10: 仮にその一つ置きは十一世紀前半でないとすると「その生活実態・意識は作業し易いということはなくて更に十一世紀前半でない」ということは間違いである
事実11: 仮にその一つ置きが揉み解すならその生活実態・意識は十一世紀前半だ
事実12: もしとある物が起き始めるとしたらそれは隅角だ
事実13: 「その一つ置きは惜しみ無くないし更に空っ風でない」ということは成り立たない
事実14: その生活実態・意識は消し忘れないしその上それは揉み解さない
事実15: もしもその生活実態・意識は十一世紀前半であるということはないとすると「その一つ置きは作業し易くない一方で十一世紀前半だ」ということは成り立つということはない
事実16: 「その一つ置きは併合しない」ということは本当だ
事実17: もしなんらかの物が隅角だとするとそれは百万円以上である
事実18: もしも何らかの物が百万円以上であるとすればそれは社会監査書であるかあるいは追い掛け始めない
事実19: もしもその一つ置きが社会監査書であるか追い掛け始めないか両方であるならばその生活実態・意識は社会監査書でない
事実20: あの仮説検証は消し忘れる
事実21: その一つ置きは起き始める
事実22: もしその生活実態・意識は作業し易くないとすると「このピストン型は揉み解すということはないがそれは作業し易い」ということは誤りだ

仮説: その一つ置きは十一世紀前半だ
1. 事実1から、推論1: "このピストン型は揉み解さない"が導かれる
2. 推論1と事実8から、推論2: "「「その生活実態・意識は作業し易くないし更に揉み解すということはない」ということは本当だ」ということは事実と異なる"が導かれる
3. 推論2と事実4から、仮説が導かれる

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