あの葦会宣言は自問自答する
fact1: もし仮にその榴弾は太り易くないとすれば「入山禁止でない」ということは正しい fact2: 「あの葦会宣言は見付け難いということはない」ということは正しい fact3: もし仮にあのアスワンダムが迷信深くないならばあの継ぎ手はしょっぱいしかつ擦り上げる fact4: もしなにがしかの物が姉神でないとするとそれは料理出来なくて更にそれは自問自答しない fact5: あの葦会宣言は程近い fact6: 仮に「その田骨は姉神だがそれは料理出来ない」ということは間違いであるならばあの葦会宣言は自問自答する fact7: このボランチは絞り出すし程近いとすると「開け始めるということはない」ということは成り立つ fact8: もし仮になにがしかの物が編み止めするし程近いならそれは姉神でない fact9: あの葦会宣言は料理出来ない fact10: あの葦会宣言は編み止めする fact11: 仮にこの八王が粘るしそれが扱い難いとすればそれは市場曲線であるということはない fact12: もしあのＳＭＢＧが擦り上げるとするとそれは弱々しかないし更に小狡くない fact13: もしも弱々しかないものが小狡いということはないならば姉神でない fact14: もし仮にこの八王が市場曲線でないとしたら迷信深いかセゾングループであるかまたは両方ともである fact15: あの葦会宣言は左手中指でなくておまけにちびない fact16: もし何かは気怠いしまた仰々しいならそれはおっきくない fact17: もし仮にあの継ぎ手が擦り上げるとしたらあのＳＭＢＧは擦り上げる
fact8 -> int1: もしもあの葦会宣言が編み止めするしそれにそれが程近いとすると姉神でない; fact5 & fact10 -> int2: あの葦会宣言は編み止めするし程近い; int1 & int2 -> int3: 「あの葦会宣言は姉神でない」ということは成り立つ; fact4 -> int4: あの葦会宣言が姉神でないならば料理出来なくて自問自答しない; int3 & int4 -> int5: あの葦会宣言は料理出来ないしその上自問自答するということはない; int5 -> hypothesis;
あの葦会宣言は自問自答する
fact22 -> int6: もしあのＳＭＢＧが弱々しかないし小狡いということはないとしたら姉神でない;
$facts$ = fact1: もし仮にその榴弾は太り易くないとすれば「入山禁止でない」ということは正しい fact2: 「あの葦会宣言は見付け難いということはない」ということは正しい fact3: もし仮にあのアスワンダムが迷信深くないならばあの継ぎ手はしょっぱいしかつ擦り上げる fact4: もしなにがしかの物が姉神でないとするとそれは料理出来なくて更にそれは自問自答しない fact5: あの葦会宣言は程近い fact6: 仮に「その田骨は姉神だがそれは料理出来ない」ということは間違いであるならばあの葦会宣言は自問自答する fact7: このボランチは絞り出すし程近いとすると「開け始めるということはない」ということは成り立つ fact8: もし仮になにがしかの物が編み止めするし程近いならそれは姉神でない fact9: あの葦会宣言は料理出来ない fact10: あの葦会宣言は編み止めする fact11: 仮にこの八王が粘るしそれが扱い難いとすればそれは市場曲線であるということはない fact12: もしあのＳＭＢＧが擦り上げるとするとそれは弱々しかないし更に小狡くない fact13: もしも弱々しかないものが小狡いということはないならば姉神でない fact14: もし仮にこの八王が市場曲線でないとしたら迷信深いかセゾングループであるかまたは両方ともである fact15: あの葦会宣言は左手中指でなくておまけにちびない fact16: もし何かは気怠いしまた仰々しいならそれはおっきくない fact17: もし仮にあの継ぎ手が擦り上げるとしたらあのＳＭＢＧは擦り上げる ; $hypothesis$ = あの葦会宣言は自問自答する ; $proof$ = 
fact8 -> int1: もしもあの葦会宣言が編み止めするしそれにそれが程近いとすると姉神でない; fact5 & fact10 -> int2: あの葦会宣言は編み止めするし程近い; int1 & int2 -> int3: 「あの葦会宣言は姉神でない」ということは成り立つ; fact4 -> int4: あの葦会宣言が姉神でないならば料理出来なくて自問自答しない; int3 & int4 -> int5: あの葦会宣言は料理出来ないしその上自問自答するということはない; int5 -> hypothesis; __DISPROVED__
事実1: もし仮にその榴弾は太り易くないとすれば「入山禁止でない」ということは正しい
事実2: 「あの葦会宣言は見付け難いということはない」ということは正しい
事実3: もし仮にあのアスワンダムが迷信深くないならばあの継ぎ手はしょっぱいしかつ擦り上げる
事実4: もしなにがしかの物が姉神でないとするとそれは料理出来なくて更にそれは自問自答しない
事実5: あの葦会宣言は程近い
事実6: 仮に「その田骨は姉神だがそれは料理出来ない」ということは間違いであるならばあの葦会宣言は自問自答する
事実7: このボランチは絞り出すし程近いとすると「開け始めるということはない」ということは成り立つ
事実8: もし仮になにがしかの物が編み止めするし程近いならそれは姉神でない
事実9: あの葦会宣言は料理出来ない
事実10: あの葦会宣言は編み止めする
事実11: 仮にこの八王が粘るしそれが扱い難いとすればそれは市場曲線であるということはない
事実12: もしあのＳＭＢＧが擦り上げるとするとそれは弱々しかないし更に小狡くない
事実13: もしも弱々しかないものが小狡いということはないならば姉神でない
事実14: もし仮にこの八王が市場曲線でないとしたら迷信深いかセゾングループであるかまたは両方ともである
事実15: あの葦会宣言は左手中指でなくておまけにちびない
事実16: もし何かは気怠いしまた仰々しいならそれはおっきくない
事実17: もし仮にあの継ぎ手が擦り上げるとしたらあのＳＭＢＧは擦り上げる

仮説: あの葦会宣言は自問自答する
1. 事実8から、推論1: "もしもあの葦会宣言が編み止めするしそれにそれが程近いとすると姉神でない"が導かれる
2. 事実5と事実10から、推論2: "あの葦会宣言は編み止めするし程近い"が導かれる
3. 推論1と推論2から、推論3: "「あの葦会宣言は姉神でない」ということは成り立つ"が導かれる
4. 事実4から、推論4: "あの葦会宣言が姉神でないならば料理出来なくて自問自答しない"が導かれる
5. 推論3と推論4から、推論5: "あの葦会宣言は料理出来ないしその上自問自答するということはない"が導かれる
6. 推論5から、仮説が否定される

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