あの印刷時間外は第一発見者である
fact1: このデフレ不況は止む無い fact2: もしもこの単純労務職員が軽視出来るとすればこのデフレ不況は過ごし易いかまたは軽視出来ないかまたはどちらもだ fact3: 「もしもこのデフレ不況が過ごし易いならあの印刷時間外は第一発見者である」ということは誤りでない fact4: この単純労務職員が止む無くないならその戦法は歴訪するかもしくは第一発見者でないかまたはどちらもだ fact5: 「仮に「あの輸液ポンプはトレースしないしそれにそれは落胆振りだということはない」ということは成り立たないとするとこの詳細情報は階梯でない」ということは成り立つ fact6: なんらかの物が階梯でないがそれが良いならばコンパクトボディだ fact7: 「あの輸液ポンプはトレースしないし更に落胆振りでない」ということは誤っている fact8: 仮にあの印刷時間外が第一発見者であるとしたらこのデフレ不況は軽視出来るかあるいは第一発見者でないかあるいは両方ともである fact9: もし「このデフレ不況は認めないけど臭い」ということは誤りだとしたらこの単純労務職員は臭くない fact10: あの印刷時間外は過ごし易いかあるいは第一発見者でない fact11: 「あるものは軽視出来るがそれは止む無くない」ということは事実であるとすれば第一発見者でない fact12: あの印刷時間外は過ごし易い fact13: 臭くないものは久しいけれど過ごし易くない fact14: もしも「この詳細情報は研究でない」ということは成り立つとすれば「清いけどぱりっとしない」ということは誤っている fact15: もし仮にこのデフレ不況が軽視出来ないならばあの印刷時間外は第一発見者である fact16: この単純労務職員は止む無い fact17: 仮に「この単純労務職員は過ごし易くない」ということは成り立てばあの印刷時間外は軽視出来るが止む無くない fact18: もし仮に「あるものは清いけれどぱりっとしない」ということは間違いであるとすると「清くない」ということは成り立つ fact19: もしもこの詳細情報はコンパクトボディであるなら「このデフレ不況は認めないがしかし臭い」ということは誤りだ fact20: 仮にこの単純労務職員が止む無いなら軽視出来る fact21: 清くない物は良くて受け付ける
fact20 & fact16 -> int1: この単純労務職員は軽視出来る; int1 & fact2 -> int2: このデフレ不況は過ごし易いかあるいはそれは軽視出来るということはないかまたはどちらもだ; int2 & fact3 & fact15 -> hypothesis;
fact20 & fact16 -> int1: {B}{a}; int1 & fact2 -> int2: ({C}{b} v ¬{B}{b}); int2 & fact3 & fact15 -> hypothesis;
その戦法は歴訪するかあるいはそれは第一発見者でない
$facts$ = fact1: このデフレ不況は止む無い fact2: もしもこの単純労務職員が軽視出来るとすればこのデフレ不況は過ごし易いかまたは軽視出来ないかまたはどちらもだ fact3: 「もしもこのデフレ不況が過ごし易いならあの印刷時間外は第一発見者である」ということは誤りでない fact4: この単純労務職員が止む無くないならその戦法は歴訪するかもしくは第一発見者でないかまたはどちらもだ fact5: 「仮に「あの輸液ポンプはトレースしないしそれにそれは落胆振りだということはない」ということは成り立たないとするとこの詳細情報は階梯でない」ということは成り立つ fact6: なんらかの物が階梯でないがそれが良いならばコンパクトボディだ fact7: 「あの輸液ポンプはトレースしないし更に落胆振りでない」ということは誤っている fact8: 仮にあの印刷時間外が第一発見者であるとしたらこのデフレ不況は軽視出来るかあるいは第一発見者でないかあるいは両方ともである fact9: もし「このデフレ不況は認めないけど臭い」ということは誤りだとしたらこの単純労務職員は臭くない fact10: あの印刷時間外は過ごし易いかあるいは第一発見者でない fact11: 「あるものは軽視出来るがそれは止む無くない」ということは事実であるとすれば第一発見者でない fact12: あの印刷時間外は過ごし易い fact13: 臭くないものは久しいけれど過ごし易くない fact14: もしも「この詳細情報は研究でない」ということは成り立つとすれば「清いけどぱりっとしない」ということは誤っている fact15: もし仮にこのデフレ不況が軽視出来ないならばあの印刷時間外は第一発見者である fact16: この単純労務職員は止む無い fact17: 仮に「この単純労務職員は過ごし易くない」ということは成り立てばあの印刷時間外は軽視出来るが止む無くない fact18: もし仮に「あるものは清いけれどぱりっとしない」ということは間違いであるとすると「清くない」ということは成り立つ fact19: もしもこの詳細情報はコンパクトボディであるなら「このデフレ不況は認めないがしかし臭い」ということは誤りだ fact20: 仮にこの単純労務職員が止む無いなら軽視出来る fact21: 清くない物は良くて受け付ける ; $hypothesis$ = あの印刷時間外は第一発見者である ; $proof$ = 
fact20 & fact16 -> int1: この単純労務職員は軽視出来る; int1 & fact2 -> int2: このデフレ不況は過ごし易いかあるいはそれは軽視出来るということはないかまたはどちらもだ; int2 & fact3 & fact15 -> hypothesis; __PROVED__
事実1: このデフレ不況は止む無い
事実2: もしもこの単純労務職員が軽視出来るとすればこのデフレ不況は過ごし易いかまたは軽視出来ないかまたはどちらもだ
事実3: 「もしもこのデフレ不況が過ごし易いならあの印刷時間外は第一発見者である」ということは誤りでない
事実4: この単純労務職員が止む無くないならその戦法は歴訪するかもしくは第一発見者でないかまたはどちらもだ
事実5: 「仮に「あの輸液ポンプはトレースしないしそれにそれは落胆振りだということはない」ということは成り立たないとするとこの詳細情報は階梯でない」ということは成り立つ
事実6: なんらかの物が階梯でないがそれが良いならばコンパクトボディだ
事実7: 「あの輸液ポンプはトレースしないし更に落胆振りでない」ということは誤っている
事実8: 仮にあの印刷時間外が第一発見者であるとしたらこのデフレ不況は軽視出来るかあるいは第一発見者でないかあるいは両方ともである
事実9: もし「このデフレ不況は認めないけど臭い」ということは誤りだとしたらこの単純労務職員は臭くない
事実10: あの印刷時間外は過ごし易いかあるいは第一発見者でない
事実11: 「あるものは軽視出来るがそれは止む無くない」ということは事実であるとすれば第一発見者でない
事実12: あの印刷時間外は過ごし易い
事実13: 臭くないものは久しいけれど過ごし易くない
事実14: もしも「この詳細情報は研究でない」ということは成り立つとすれば「清いけどぱりっとしない」ということは誤っている
事実15: もし仮にこのデフレ不況が軽視出来ないならばあの印刷時間外は第一発見者である
事実16: この単純労務職員は止む無い
事実17: 仮に「この単純労務職員は過ごし易くない」ということは成り立てばあの印刷時間外は軽視出来るが止む無くない
事実18: もし仮に「あるものは清いけれどぱりっとしない」ということは間違いであるとすると「清くない」ということは成り立つ
事実19: もしもこの詳細情報はコンパクトボディであるなら「このデフレ不況は認めないがしかし臭い」ということは誤りだ
事実20: 仮にこの単純労務職員が止む無いなら軽視出来る
事実21: 清くない物は良くて受け付ける

仮説: あの印刷時間外は第一発見者である
1. 事実20と事実16から、推論1: "この単純労務職員は軽視出来る"が導かれる
2. 推論1と事実2から、推論2: "このデフレ不況は過ごし易いかあるいはそれは軽視出来るということはないかまたはどちらもだ"が導かれる
3. 推論2と事実3と事実15から、仮説が導かれる

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