「あの床の間は上程する」ということは正しい
fact1: 「あの床の間は漁場脱出でない」ということは成り立つ fact2: あの床の間は漁場脱出でないけどｄｏｂだ fact3: 十七日発行は購買行動だ fact4: もしあの収蔵庫が漁場脱出だしまたｄｏｂであるならばあの床の間は上程しない fact5: もしも「「購買行動であるかまたは手荒くないかもしくはどちらもだ」ということは間違いである」物があるならあの収蔵庫は漁場脱出だ fact6: あの校長先生は着底しないけれどそれは困り切る fact7: 仮になにかは購買行動ならば手荒いけどｄｏｂでない fact8: もしこの伐採権は誤解し易いとすれば「その十一時過ぎは購買行動であるかもしくは手荒くない」ということは間違っている fact9: あの床の間は御し易くない一方でそれはＮＴＴ局だ fact10: あの床の間は絶交しないけど事後処理だ fact11: 「この伐採権は誤解し易い」ということは事実である fact12: 続け様はｄｏｂである fact13: 漁場脱出は上程する fact14: 「あの収蔵庫は手荒いけれど購買行動でない」ということは確かだということはない fact15: Ｄｏｂは上程する fact16: 「あの床の間は凛々しい」ということは正しいとすればそれは漁場脱出である fact17: もし仮にその秘事が突き掛かれば混入し易い fact18: あの床の間は晴らせないけれどそれはヒストリパネルである fact19: 漁場脱出は差し当たるということはないがしかし後戻り出来る
fact2 -> int1: あの床の間はｄｏｂだ; fact15 -> int2: あの床の間はｄｏｂであるとすると上程する; int1 & int2 -> hypothesis;
fact2 -> int1: {B}{a}; fact15 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
その安全推進本部は差し当たらないがしかし後戻り出来る
fact21 -> int3: その安全推進本部が漁場脱出ならそれは差し当たるということはないし後戻り出来る; fact20 -> int4: 「「手荒いけど購買行動でない」ということは誤っている」ものはある;
$facts$ = fact1: 「あの床の間は漁場脱出でない」ということは成り立つ fact2: あの床の間は漁場脱出でないけどｄｏｂだ fact3: 十七日発行は購買行動だ fact4: もしあの収蔵庫が漁場脱出だしまたｄｏｂであるならばあの床の間は上程しない fact5: もしも「「購買行動であるかまたは手荒くないかもしくはどちらもだ」ということは間違いである」物があるならあの収蔵庫は漁場脱出だ fact6: あの校長先生は着底しないけれどそれは困り切る fact7: 仮になにかは購買行動ならば手荒いけどｄｏｂでない fact8: もしこの伐採権は誤解し易いとすれば「その十一時過ぎは購買行動であるかもしくは手荒くない」ということは間違っている fact9: あの床の間は御し易くない一方でそれはＮＴＴ局だ fact10: あの床の間は絶交しないけど事後処理だ fact11: 「この伐採権は誤解し易い」ということは事実である fact12: 続け様はｄｏｂである fact13: 漁場脱出は上程する fact14: 「あの収蔵庫は手荒いけれど購買行動でない」ということは確かだということはない fact15: Ｄｏｂは上程する fact16: 「あの床の間は凛々しい」ということは正しいとすればそれは漁場脱出である fact17: もし仮にその秘事が突き掛かれば混入し易い fact18: あの床の間は晴らせないけれどそれはヒストリパネルである fact19: 漁場脱出は差し当たるということはないがしかし後戻り出来る ; $hypothesis$ = 「あの床の間は上程する」ということは正しい ; $proof$ = 
fact2 -> int1: あの床の間はｄｏｂだ; fact15 -> int2: あの床の間はｄｏｂであるとすると上程する; int1 & int2 -> hypothesis; __PROVED__
事実1: 「あの床の間は漁場脱出でない」ということは成り立つ
事実2: あの床の間は漁場脱出でないけどｄｏｂだ
事実3: 十七日発行は購買行動だ
事実4: もしあの収蔵庫が漁場脱出だしまたｄｏｂであるならばあの床の間は上程しない
事実5: もしも「「購買行動であるかまたは手荒くないかもしくはどちらもだ」ということは間違いである」物があるならあの収蔵庫は漁場脱出だ
事実6: あの校長先生は着底しないけれどそれは困り切る
事実7: 仮になにかは購買行動ならば手荒いけどｄｏｂでない
事実8: もしこの伐採権は誤解し易いとすれば「その十一時過ぎは購買行動であるかもしくは手荒くない」ということは間違っている
事実9: あの床の間は御し易くない一方でそれはＮＴＴ局だ
事実10: あの床の間は絶交しないけど事後処理だ
事実11: 「この伐採権は誤解し易い」ということは事実である
事実12: 続け様はｄｏｂである
事実13: 漁場脱出は上程する
事実14: 「あの収蔵庫は手荒いけれど購買行動でない」ということは確かだということはない
事実15: Ｄｏｂは上程する
事実16: 「あの床の間は凛々しい」ということは正しいとすればそれは漁場脱出である
事実17: もし仮にその秘事が突き掛かれば混入し易い
事実18: あの床の間は晴らせないけれどそれはヒストリパネルである
事実19: 漁場脱出は差し当たるということはないがしかし後戻り出来る

仮説: 「あの床の間は上程する」ということは正しい
1. 事実2から、推論1: "あの床の間はｄｏｂだ"が導かれる
2. 事実15から、推論2: "あの床の間はｄｏｂであるとすると上程する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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