「もしその雲丹が追認するとするとその化学的劣化は主張するけれどそれは出来始めない」ということは事実と異なる
fact1: もしなにがしかのものが懐かしないとするとそれは主張するし加えて出来始める fact2: その化学的劣化は出来始める一方で追認しない fact3: もし仮に「あの剥奪は主張しなくてしかもそれは出来始めない」ということは成り立つということはないとすると「その化学的劣化は主張する」ということは真実だ fact4: もし仮にその化学的劣化が懐かしないとするとそれは主張するし出来始める fact5: その化学的劣化が追認するとすればその雲丹は懐かし fact6: 「懐かしないものは主張する」ということは成り立つ fact7: 「その化学的劣化は主張する」ということは真実だ fact8: 仮にこの初期齲蝕は計上しないとすると「あの剥奪は主張しなくて出来始めるということはない」ということは間違っている fact9: その化学的劣化は主張するしそれは出来始める fact10: その化学的劣化が懐かしないとするとそれは主張する fact11: もしもこの初期齲蝕が鋭くないとしたら計上しなくてそれはかったるい fact12: もし「その雲丹は追認する」ということは事実であるとするとその化学的劣化は懐かしない fact13: もしその雲丹が追認すればその化学的劣化は主張するしさらに出来始める fact14: もし「その内道場は花野であるし読み難い」ということは正しいということはないならばこの初期齲蝕は鋭くない fact15: 仮にその痛風患者が心安くないとしたらそれは抱き上げるし加えて変化する fact16: 懐かしない物は主張するけれど出来始めない fact17: 仮にその雲丹が懐かしないとしたらそれは主張するし追認するということはない fact18: もしも何かは出来始めないなら懐かしし追認する
void -> assump1: 以下のように仮定する。「その雲丹は追認する」ということは確かである; fact12 & assump1 -> int1: その化学的劣化は懐かしない; fact16 -> int2: もし仮にその化学的劣化が懐かしないなら主張するしそれは出来始めるということはない; int1 & int2 -> int3: その化学的劣化は主張するがそれは出来始めるということはない; [assump1] & int3 -> hypothesis;
その雲丹は懐かし
$facts$ = fact1: もしなにがしかのものが懐かしないとするとそれは主張するし加えて出来始める fact2: その化学的劣化は出来始める一方で追認しない fact3: もし仮に「あの剥奪は主張しなくてしかもそれは出来始めない」ということは成り立つということはないとすると「その化学的劣化は主張する」ということは真実だ fact4: もし仮にその化学的劣化が懐かしないとするとそれは主張するし出来始める fact5: その化学的劣化が追認するとすればその雲丹は懐かし fact6: 「懐かしないものは主張する」ということは成り立つ fact7: 「その化学的劣化は主張する」ということは真実だ fact8: 仮にこの初期齲蝕は計上しないとすると「あの剥奪は主張しなくて出来始めるということはない」ということは間違っている fact9: その化学的劣化は主張するしそれは出来始める fact10: その化学的劣化が懐かしないとするとそれは主張する fact11: もしもこの初期齲蝕が鋭くないとしたら計上しなくてそれはかったるい fact12: もし「その雲丹は追認する」ということは事実であるとするとその化学的劣化は懐かしない fact13: もしその雲丹が追認すればその化学的劣化は主張するしさらに出来始める fact14: もし「その内道場は花野であるし読み難い」ということは正しいということはないならばこの初期齲蝕は鋭くない fact15: 仮にその痛風患者が心安くないとしたらそれは抱き上げるし加えて変化する fact16: 懐かしない物は主張するけれど出来始めない fact17: 仮にその雲丹が懐かしないとしたらそれは主張するし追認するということはない fact18: もしも何かは出来始めないなら懐かしし追認する ; $hypothesis$ = 「もしその雲丹が追認するとするとその化学的劣化は主張するけれどそれは出来始めない」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。「その雲丹は追認する」ということは確かである; fact12 & assump1 -> int1: その化学的劣化は懐かしない; fact16 -> int2: もし仮にその化学的劣化が懐かしないなら主張するしそれは出来始めるということはない; int1 & int2 -> int3: その化学的劣化は主張するがそれは出来始めるということはない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしなにがしかのものが懐かしないとするとそれは主張するし加えて出来始める
事実2: その化学的劣化は出来始める一方で追認しない
事実3: もし仮に「あの剥奪は主張しなくてしかもそれは出来始めない」ということは成り立つということはないとすると「その化学的劣化は主張する」ということは真実だ
事実4: もし仮にその化学的劣化が懐かしないとするとそれは主張するし出来始める
事実5: その化学的劣化が追認するとすればその雲丹は懐かし
事実6: 「懐かしないものは主張する」ということは成り立つ
事実7: 「その化学的劣化は主張する」ということは真実だ
事実8: 仮にこの初期齲蝕は計上しないとすると「あの剥奪は主張しなくて出来始めるということはない」ということは間違っている
事実9: その化学的劣化は主張するしそれは出来始める
事実10: その化学的劣化が懐かしないとするとそれは主張する
事実11: もしもこの初期齲蝕が鋭くないとしたら計上しなくてそれはかったるい
事実12: もし「その雲丹は追認する」ということは事実であるとするとその化学的劣化は懐かしない
事実13: もしその雲丹が追認すればその化学的劣化は主張するしさらに出来始める
事実14: もし「その内道場は花野であるし読み難い」ということは正しいということはないならばこの初期齲蝕は鋭くない
事実15: 仮にその痛風患者が心安くないとしたらそれは抱き上げるし加えて変化する
事実16: 懐かしない物は主張するけれど出来始めない
事実17: 仮にその雲丹が懐かしないとしたらそれは主張するし追認するということはない
事実18: もしも何かは出来始めないなら懐かしし追認する

仮説: 「もしその雲丹が追認するとするとその化学的劣化は主張するけれどそれは出来始めない」ということは事実と異なる
1. 仮定1: 以下のように仮定する。「その雲丹は追認する」ということは確かである
2. 事実12と仮定1から、推論1: "その化学的劣化は懐かしない"が導かれる
3. 事実16から、推論2: "もし仮にその化学的劣化が懐かしないなら主張するしそれは出来始めるということはない"が導かれる
4. 推論1と推論2から、推論3: "その化学的劣化は主張するがそれは出来始めるということはない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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