あの上場株式等は済ま無い
fact1: もし仮にあの被牽引式スクレーパが言い得ないとするとあの上場株式等は済ま無くない fact2: あの上場株式等は横たえるということはない fact3: もしもあの二回路が更新情報でなくてそれが済ま無くないとすればあの被牽引式スクレーパは済ま無い fact4: 「あの二回路は憎しない」ということは本当である fact5: 「あの二回路は起居するしそれは憎し」ということは誤りである fact6: あの二回路は更新情報でない fact7: あの二回路は起居するがしかし憎しない fact8: もしあの二回路は起居するとすると「あの被牽引式スクレーパは済ま無い一方で言い得ない」ということは間違いである fact9: もしもあの被牽引式スクレーパは更新情報であるとしたら「あの二回路は起居するしかつ憎し」ということは誤っている fact10: 「あの被牽引式スクレーパは済ま無いがしかしそれは更新情報でない」ということは間違っている fact11: もしなにがしかの物は言い得るということはないし横たえるということはないならば「それは更新情報でない」ということは真実である fact12: 仮にあの被牽引式スクレーパは更新情報であるならば「あの二回路は起居するけど憎しない」ということは成り立たない fact13: 「あの地区病院は開局するけどそれは横たえない」ということは成り立たない fact14: もし仮に「あの被牽引式スクレーパは起居するし更に言い得る」ということは成り立たないならばあの二回路は済ま無いということはない fact15: あの二回路は言い得る fact16: 仮にあの被牽引式スクレーパは更新情報でないとしたら「それは言い得るしかつ横たえる」ということは間違っている fact17: 仮にあの被牽引式スクレーパが済ま無いとすればあの上場株式等は済ま無い fact18: 「あの被牽引式スクレーパは言い得るし更に憎し」ということは偽ならば「あの二回路は起居するということはない」ということは成り立つ fact19: 「あの被牽引式スクレーパは言い得るしその上横たえる」ということは間違っているとするとあの上場株式等は済ま無いということはない
void -> assump1: 以下のように仮定する。あの被牽引式スクレーパは更新情報だ; fact12 & assump1 -> int1: 「あの二回路は起居するけれど憎しない」ということは嘘だ; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの被牽引式スクレーパは更新情報でない; int3 & fact16 -> int4: 「あの被牽引式スクレーパは言い得るし横たえる」ということは嘘だ; int4 & fact19 -> hypothesis;
「あの上場株式等は済ま無い」ということは事実だ
fact20 -> int5: もしもあの二回路は言い得ないしそれに横たえないとすると更新情報でない;
$facts$ = fact1: もし仮にあの被牽引式スクレーパが言い得ないとするとあの上場株式等は済ま無くない fact2: あの上場株式等は横たえるということはない fact3: もしもあの二回路が更新情報でなくてそれが済ま無くないとすればあの被牽引式スクレーパは済ま無い fact4: 「あの二回路は憎しない」ということは本当である fact5: 「あの二回路は起居するしそれは憎し」ということは誤りである fact6: あの二回路は更新情報でない fact7: あの二回路は起居するがしかし憎しない fact8: もしあの二回路は起居するとすると「あの被牽引式スクレーパは済ま無い一方で言い得ない」ということは間違いである fact9: もしもあの被牽引式スクレーパは更新情報であるとしたら「あの二回路は起居するしかつ憎し」ということは誤っている fact10: 「あの被牽引式スクレーパは済ま無いがしかしそれは更新情報でない」ということは間違っている fact11: もしなにがしかの物は言い得るということはないし横たえるということはないならば「それは更新情報でない」ということは真実である fact12: 仮にあの被牽引式スクレーパは更新情報であるならば「あの二回路は起居するけど憎しない」ということは成り立たない fact13: 「あの地区病院は開局するけどそれは横たえない」ということは成り立たない fact14: もし仮に「あの被牽引式スクレーパは起居するし更に言い得る」ということは成り立たないならばあの二回路は済ま無いということはない fact15: あの二回路は言い得る fact16: 仮にあの被牽引式スクレーパは更新情報でないとしたら「それは言い得るしかつ横たえる」ということは間違っている fact17: 仮にあの被牽引式スクレーパが済ま無いとすればあの上場株式等は済ま無い fact18: 「あの被牽引式スクレーパは言い得るし更に憎し」ということは偽ならば「あの二回路は起居するということはない」ということは成り立つ fact19: 「あの被牽引式スクレーパは言い得るしその上横たえる」ということは間違っているとするとあの上場株式等は済ま無いということはない ; $hypothesis$ = あの上場株式等は済ま無い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの被牽引式スクレーパは更新情報だ; fact12 & assump1 -> int1: 「あの二回路は起居するけれど憎しない」ということは嘘だ; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの被牽引式スクレーパは更新情報でない; int3 & fact16 -> int4: 「あの被牽引式スクレーパは言い得るし横たえる」ということは嘘だ; int4 & fact19 -> hypothesis; __DISPROVED__
事実1: もし仮にあの被牽引式スクレーパが言い得ないとするとあの上場株式等は済ま無くない
事実2: あの上場株式等は横たえるということはない
事実3: もしもあの二回路が更新情報でなくてそれが済ま無くないとすればあの被牽引式スクレーパは済ま無い
事実4: 「あの二回路は憎しない」ということは本当である
事実5: 「あの二回路は起居するしそれは憎し」ということは誤りである
事実6: あの二回路は更新情報でない
事実7: あの二回路は起居するがしかし憎しない
事実8: もしあの二回路は起居するとすると「あの被牽引式スクレーパは済ま無い一方で言い得ない」ということは間違いである
事実9: もしもあの被牽引式スクレーパは更新情報であるとしたら「あの二回路は起居するしかつ憎し」ということは誤っている
事実10: 「あの被牽引式スクレーパは済ま無いがしかしそれは更新情報でない」ということは間違っている
事実11: もしなにがしかの物は言い得るということはないし横たえるということはないならば「それは更新情報でない」ということは真実である
事実12: 仮にあの被牽引式スクレーパは更新情報であるならば「あの二回路は起居するけど憎しない」ということは成り立たない
事実13: 「あの地区病院は開局するけどそれは横たえない」ということは成り立たない
事実14: もし仮に「あの被牽引式スクレーパは起居するし更に言い得る」ということは成り立たないならばあの二回路は済ま無いということはない
事実15: あの二回路は言い得る
事実16: 仮にあの被牽引式スクレーパは更新情報でないとしたら「それは言い得るしかつ横たえる」ということは間違っている
事実17: 仮にあの被牽引式スクレーパが済ま無いとすればあの上場株式等は済ま無い
事実18: 「あの被牽引式スクレーパは言い得るし更に憎し」ということは偽ならば「あの二回路は起居するということはない」ということは成り立つ
事実19: 「あの被牽引式スクレーパは言い得るしその上横たえる」ということは間違っているとするとあの上場株式等は済ま無いということはない

仮説: あの上場株式等は済ま無い
1. 仮定1: 以下のように仮定する。あの被牽引式スクレーパは更新情報だ
2. 事実12と仮定1から、推論1: "「あの二回路は起居するけれど憎しない」ということは嘘だ"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの被牽引式スクレーパは更新情報でない"が導かれる
5. 推論3と事実16から、推論4: "「あの被牽引式スクレーパは言い得るし横たえる」ということは嘘だ"が導かれる
6. 推論4と事実19から、仮説が否定される

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