この注意書きは散歩する
fact1: 仮に「あの参考資料は注ぎ始めないが見辛い」ということは間違いなら注ぎ始める fact2: 眠いものは散歩する一方でシークエンスでない fact3: もし仮に「あの参考資料は激化しないけど美しい」ということは誤りであるとすればその土足は散歩しない fact4: もしもとあるものは注ぎ始めるなら「激化しないが美しい」ということは成り立つということはない fact5: もしあの仏間が激化しなくてその上それが眠くないとするとこの注意書きは眠い fact6: 仮にあの参考資料はアマチュアでないとしたら「その土足は暴れ出さないし更にそれは見辛いということはない」ということは正しくない fact7: もしもある物が演ぜないとすればそれは暴れ出さない fact8: もしもその土足が見辛いならあの仏間は美しくないけれど注ぎ始める fact9: この注意書きは眠くない fact10: とある物が眠くないならばそれは散歩しない fact11: もし「なにがしかの物が暴れ出さないしさらに見辛くない」ということは真実であるということはないならば見辛い fact12: 「気まずさであるということはない」物はある fact13: もし「あの仏間は散歩するし加えてそれはシークエンスである」ということは偽だとしたら「「この再生法は眠い」ということは成り立つということはない」ということは確かである fact14: 美しくないものは激化しないし眠くない fact15: もし仮にこの注意書きが散歩しないとしたらそれは御固くない fact16: この足背は眠くない
fact10 -> int1: この注意書きが眠くないとすれば散歩しない; int1 & fact9 -> hypothesis;
fact10 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 & fact9 -> hypothesis;
この再生法は眠くない
fact20 -> int2: もし仮にあの参考資料は注ぎ始めれば「激化しないししかも美しい」ということは誤りだ;
$facts$ = fact1: 仮に「あの参考資料は注ぎ始めないが見辛い」ということは間違いなら注ぎ始める fact2: 眠いものは散歩する一方でシークエンスでない fact3: もし仮に「あの参考資料は激化しないけど美しい」ということは誤りであるとすればその土足は散歩しない fact4: もしもとあるものは注ぎ始めるなら「激化しないが美しい」ということは成り立つということはない fact5: もしあの仏間が激化しなくてその上それが眠くないとするとこの注意書きは眠い fact6: 仮にあの参考資料はアマチュアでないとしたら「その土足は暴れ出さないし更にそれは見辛いということはない」ということは正しくない fact7: もしもある物が演ぜないとすればそれは暴れ出さない fact8: もしもその土足が見辛いならあの仏間は美しくないけれど注ぎ始める fact9: この注意書きは眠くない fact10: とある物が眠くないならばそれは散歩しない fact11: もし「なにがしかの物が暴れ出さないしさらに見辛くない」ということは真実であるということはないならば見辛い fact12: 「気まずさであるということはない」物はある fact13: もし「あの仏間は散歩するし加えてそれはシークエンスである」ということは偽だとしたら「「この再生法は眠い」ということは成り立つということはない」ということは確かである fact14: 美しくないものは激化しないし眠くない fact15: もし仮にこの注意書きが散歩しないとしたらそれは御固くない fact16: この足背は眠くない ; $hypothesis$ = この注意書きは散歩する ; $proof$ = 
fact10 -> int1: この注意書きが眠くないとすれば散歩しない; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: 仮に「あの参考資料は注ぎ始めないが見辛い」ということは間違いなら注ぎ始める
事実2: 眠いものは散歩する一方でシークエンスでない
事実3: もし仮に「あの参考資料は激化しないけど美しい」ということは誤りであるとすればその土足は散歩しない
事実4: もしもとあるものは注ぎ始めるなら「激化しないが美しい」ということは成り立つということはない
事実5: もしあの仏間が激化しなくてその上それが眠くないとするとこの注意書きは眠い
事実6: 仮にあの参考資料はアマチュアでないとしたら「その土足は暴れ出さないし更にそれは見辛いということはない」ということは正しくない
事実7: もしもある物が演ぜないとすればそれは暴れ出さない
事実8: もしもその土足が見辛いならあの仏間は美しくないけれど注ぎ始める
事実9: この注意書きは眠くない
事実10: とある物が眠くないならばそれは散歩しない
事実11: もし「なにがしかの物が暴れ出さないしさらに見辛くない」ということは真実であるということはないならば見辛い
事実12: 「気まずさであるということはない」物はある
事実13: もし「あの仏間は散歩するし加えてそれはシークエンスである」ということは偽だとしたら「「この再生法は眠い」ということは成り立つということはない」ということは確かである
事実14: 美しくないものは激化しないし眠くない
事実15: もし仮にこの注意書きが散歩しないとしたらそれは御固くない
事実16: この足背は眠くない

仮説: この注意書きは散歩する
1. 事実10から、推論1: "この注意書きが眠くないとすれば散歩しない"が導かれる
2. 推論1と事実9から、仮説が否定される

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