その日記文学は温かい
fact1: 仮にあの評価益が半世紀前だということはないならその日記文学は凄まじくてそれに温かい fact2: もしもあの評価益が半世紀前であるならその日記文学は食事パンでない fact3: もし仮に「あの評価益は確立・整備するということはないしそれは食事パンでない」ということは成り立たないならその日記文学は半世紀前でない fact4: 仮にその日記文学は零．一πＳＥＣであるかまたは競馬ブックであるか両方ともであるならば温かくない fact5: この暴露課題は食事パンだ fact6: 「あの評価益は零．一πＳＥＣである」ということは本当だ fact7: もしもその日記文学が凄まじいがしかしそれは半世紀前であるということはないとすれば競馬ブックだ fact8: 「あの評価益は確立・整備しないしそれは食事パンでない」ということは間違いだ fact9: その日記文学は当たり易い fact10: あの評価益は卑しいけどそれは取り組み始めるということはない fact11: あの評価益は凄まじくない fact12: もしもあの三尺坊が温かいならば持ち堪えない fact13: 「「あの評価益は零．一πＳＥＣでないしその上確立・整備しない」ということは間違いである」ということは成り立つ fact14: もしもあの評価益が食事パンであるか半世紀前ならばそれは確立・整備しない fact15: もし仮に「その日記文学は食事パンである」ということは真実だとするとあの評価益は半世紀前でない fact16: その日記文学が優遇サービスだけどそれは零し始めない fact17: その日記文学は凄まじいしさらに覚え易い fact18: その日記文学は越え出る
fact3 & fact8 -> int1: その日記文学は半世紀前でない; fact17 -> int2: その日記文学は凄まじい; int1 & int2 -> int3: その日記文学は凄まじいが半世紀前でない; int3 & fact7 -> int4: その日記文学は競馬ブックだ; int4 -> int5: その日記文学は零．一πＳＥＣであるかもしくは競馬ブックである; int5 & fact4 -> hypothesis;
その日記文学は温かい
$facts$ = fact1: 仮にあの評価益が半世紀前だということはないならその日記文学は凄まじくてそれに温かい fact2: もしもあの評価益が半世紀前であるならその日記文学は食事パンでない fact3: もし仮に「あの評価益は確立・整備するということはないしそれは食事パンでない」ということは成り立たないならその日記文学は半世紀前でない fact4: 仮にその日記文学は零．一πＳＥＣであるかまたは競馬ブックであるか両方ともであるならば温かくない fact5: この暴露課題は食事パンだ fact6: 「あの評価益は零．一πＳＥＣである」ということは本当だ fact7: もしもその日記文学が凄まじいがしかしそれは半世紀前であるということはないとすれば競馬ブックだ fact8: 「あの評価益は確立・整備しないしそれは食事パンでない」ということは間違いだ fact9: その日記文学は当たり易い fact10: あの評価益は卑しいけどそれは取り組み始めるということはない fact11: あの評価益は凄まじくない fact12: もしもあの三尺坊が温かいならば持ち堪えない fact13: 「「あの評価益は零．一πＳＥＣでないしその上確立・整備しない」ということは間違いである」ということは成り立つ fact14: もしもあの評価益が食事パンであるか半世紀前ならばそれは確立・整備しない fact15: もし仮に「その日記文学は食事パンである」ということは真実だとするとあの評価益は半世紀前でない fact16: その日記文学が優遇サービスだけどそれは零し始めない fact17: その日記文学は凄まじいしさらに覚え易い fact18: その日記文学は越え出る ; $hypothesis$ = その日記文学は温かい ; $proof$ = 
fact3 & fact8 -> int1: その日記文学は半世紀前でない; fact17 -> int2: その日記文学は凄まじい; int1 & int2 -> int3: その日記文学は凄まじいが半世紀前でない; int3 & fact7 -> int4: その日記文学は競馬ブックだ; int4 -> int5: その日記文学は零．一πＳＥＣであるかもしくは競馬ブックである; int5 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮にあの評価益が半世紀前だということはないならその日記文学は凄まじくてそれに温かい
事実2: もしもあの評価益が半世紀前であるならその日記文学は食事パンでない
事実3: もし仮に「あの評価益は確立・整備するということはないしそれは食事パンでない」ということは成り立たないならその日記文学は半世紀前でない
事実4: 仮にその日記文学は零．一πＳＥＣであるかまたは競馬ブックであるか両方ともであるならば温かくない
事実5: この暴露課題は食事パンだ
事実6: 「あの評価益は零．一πＳＥＣである」ということは本当だ
事実7: もしもその日記文学が凄まじいがしかしそれは半世紀前であるということはないとすれば競馬ブックだ
事実8: 「あの評価益は確立・整備しないしそれは食事パンでない」ということは間違いだ
事実9: その日記文学は当たり易い
事実10: あの評価益は卑しいけどそれは取り組み始めるということはない
事実11: あの評価益は凄まじくない
事実12: もしもあの三尺坊が温かいならば持ち堪えない
事実13: 「「あの評価益は零．一πＳＥＣでないしその上確立・整備しない」ということは間違いである」ということは成り立つ
事実14: もしもあの評価益が食事パンであるか半世紀前ならばそれは確立・整備しない
事実15: もし仮に「その日記文学は食事パンである」ということは真実だとするとあの評価益は半世紀前でない
事実16: その日記文学が優遇サービスだけどそれは零し始めない
事実17: その日記文学は凄まじいしさらに覚え易い
事実18: その日記文学は越え出る

仮説: その日記文学は温かい
1. 事実3と事実8から、推論1: "その日記文学は半世紀前でない"が導かれる
2. 事実17から、推論2: "その日記文学は凄まじい"が導かれる
3. 推論1と推論2から、推論3: "その日記文学は凄まじいが半世紀前でない"が導かれる
4. 推論3と事実7から、推論4: "その日記文学は競馬ブックだ"が導かれる
5. 推論4から、推論5: "その日記文学は零．一πＳＥＣであるかもしくは競馬ブックである"が導かれる
6. 推論5と事実4から、仮説が否定される

よって、仮説が否定されました。