その十年毎は好ましない
fact1: もしこの礁が汚れである一方で非難がましくらないとするとその十年毎は好まし fact2: その衆院解散権が非難がましかないならばこの礁は汚れでない fact3: その銀座店は練り直すし非難がましい fact4: もし仮に「ある物は誘発し易くないが見出だし難い」ということは誤りであるなら見出だし難くない fact5: もしその衆院解散権が非難はましくらないとしたら「この礁が汚れでないし非難はましくらない」ということは成り立つ fact6: もし「この連邦救済は赤っぽい」ということは真実であるとしたら「その銀座店は赤っぽい」ということは事実だ fact7: 「ある物はアイラッシュであるし加えて御通ずる」ということは誤りであるとすればそれは御通ずるということはない fact8: 仮になにかは小五だということはないならば「アイラッシュで御通ずる」ということは間違いだ fact9: もし仮にその衆院解散権は下げれば「それは誘発し易くないけど見出だし難い」ということは間違っている fact10: その十年毎は御苦労為さる fact11: この礁は汚れでない fact12: 仮にその衆院解散権が非難がましいしかつ御苦労為さるならその銀座店は赤っぽくない fact13: その十年毎は汚れだ fact14: 「とあるものは非難がましいしそれは御苦労為さる」ということは事実でないとすると「それは好ましない」ということは事実である fact15: この連邦救済は赤っぽい fact16: その衆院解散権は御苦労為さる fact17: その衆院解散権は下げるしおまけにおっかない fact18: もし仮にその衆院解散権は赤っぽくないならば「その十年毎は非難がましいしその上御苦労為さる」ということは成り立たない fact19: あらゆる物は小五でない fact20: 何らかのものは御通ぜなくてしかも見出だし難くないならそれはねちっこくない fact21: あの情報水は御苦労為さる fact22: この礁が汚れだということはないしかつ非難がましくらないとしたらその十年毎は好まし
void -> assump1: 以下のように仮定する。その衆院解散権は非難がましい; assump1 & fact16 -> int1: その衆院解散権は非難がましいしかつ御苦労為さる; int1 & fact12 -> int2: その銀座店は赤っぽくない; fact6 & fact15 -> int3: その銀座店は赤っぽい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その衆院解散権は非難がましかない; int5 & fact5 -> int6: この礁は汚れでないし非難がましいということはない; int6 & fact22 -> hypothesis;
その十年毎は好ましない
fact26 -> int7: もし「その十年毎は非難がましいしおまけに御苦労為さる」ということは嘘だとすればそれは好ましということはない; fact25 -> int8: もしその衆院解散権は御通ぜなくて加えて見出だし難いということはないとするとねちっこいということはない; fact24 -> int9: もしその銀座店は小五でないなら「それはアイラッシュで更に御通ずる」ということは誤っている; fact29 -> int10: その銀座店は小五でない; int9 & int10 -> int11: 「その銀座店はアイラッシュであるししかもそれは御通ずる」ということは成り立たない; int11 -> int12: アイラッシュであるし御通ずるという物はない; int12 -> int13: 「その衆院解散権はアイラッシュでその上御通ずる」ということは間違いだ; fact27 -> int14: もし仮に「その衆院解散権はアイラッシュであるし加えて御通ずる」ということは成り立たないとすると御通ぜない; int13 & int14 -> int15: その衆院解散権は御通ぜない; fact23 -> int16: 「「その衆院解散権は誘発し易くないけれど見出だし難い」ということは確かである」ということは偽であるなら見出だし難くない; fact30 -> int17: 「その衆院解散権は下げる」ということは真実だ; int17 & fact31 -> int18: 「その衆院解散権は誘発し易くない一方で見出だし難い」ということは嘘だ; int16 & int18 -> int19: その衆院解散権は見出だし難くない; int15 & int19 -> int20: その衆院解散権は御通ぜないしさらに見出だし難くない; int8 & int20 -> int21: その衆院解散権はねちっこいということはない;
$facts$ = fact1: もしこの礁が汚れである一方で非難がましくらないとするとその十年毎は好まし fact2: その衆院解散権が非難がましかないならばこの礁は汚れでない fact3: その銀座店は練り直すし非難がましい fact4: もし仮に「ある物は誘発し易くないが見出だし難い」ということは誤りであるなら見出だし難くない fact5: もしその衆院解散権が非難はましくらないとしたら「この礁が汚れでないし非難はましくらない」ということは成り立つ fact6: もし「この連邦救済は赤っぽい」ということは真実であるとしたら「その銀座店は赤っぽい」ということは事実だ fact7: 「ある物はアイラッシュであるし加えて御通ずる」ということは誤りであるとすればそれは御通ずるということはない fact8: 仮になにかは小五だということはないならば「アイラッシュで御通ずる」ということは間違いだ fact9: もし仮にその衆院解散権は下げれば「それは誘発し易くないけど見出だし難い」ということは間違っている fact10: その十年毎は御苦労為さる fact11: この礁は汚れでない fact12: 仮にその衆院解散権が非難がましいしかつ御苦労為さるならその銀座店は赤っぽくない fact13: その十年毎は汚れだ fact14: 「とあるものは非難がましいしそれは御苦労為さる」ということは事実でないとすると「それは好ましない」ということは事実である fact15: この連邦救済は赤っぽい fact16: その衆院解散権は御苦労為さる fact17: その衆院解散権は下げるしおまけにおっかない fact18: もし仮にその衆院解散権は赤っぽくないならば「その十年毎は非難がましいしその上御苦労為さる」ということは成り立たない fact19: あらゆる物は小五でない fact20: 何らかのものは御通ぜなくてしかも見出だし難くないならそれはねちっこくない fact21: あの情報水は御苦労為さる fact22: この礁が汚れだということはないしかつ非難がましくらないとしたらその十年毎は好まし ; $hypothesis$ = その十年毎は好ましない ; $proof$ = 
void -> assump1: 以下のように仮定する。その衆院解散権は非難がましい; assump1 & fact16 -> int1: その衆院解散権は非難がましいしかつ御苦労為さる; int1 & fact12 -> int2: その銀座店は赤っぽくない; fact6 & fact15 -> int3: その銀座店は赤っぽい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その衆院解散権は非難がましかない; int5 & fact5 -> int6: この礁は汚れでないし非難がましいということはない; int6 & fact22 -> hypothesis; __DISPROVED__
事実1: もしこの礁が汚れである一方で非難がましくらないとするとその十年毎は好まし
事実2: その衆院解散権が非難がましかないならばこの礁は汚れでない
事実3: その銀座店は練り直すし非難がましい
事実4: もし仮に「ある物は誘発し易くないが見出だし難い」ということは誤りであるなら見出だし難くない
事実5: もしその衆院解散権が非難はましくらないとしたら「この礁が汚れでないし非難はましくらない」ということは成り立つ
事実6: もし「この連邦救済は赤っぽい」ということは真実であるとしたら「その銀座店は赤っぽい」ということは事実だ
事実7: 「ある物はアイラッシュであるし加えて御通ずる」ということは誤りであるとすればそれは御通ずるということはない
事実8: 仮になにかは小五だということはないならば「アイラッシュで御通ずる」ということは間違いだ
事実9: もし仮にその衆院解散権は下げれば「それは誘発し易くないけど見出だし難い」ということは間違っている
事実10: その十年毎は御苦労為さる
事実11: この礁は汚れでない
事実12: 仮にその衆院解散権が非難がましいしかつ御苦労為さるならその銀座店は赤っぽくない
事実13: その十年毎は汚れだ
事実14: 「とあるものは非難がましいしそれは御苦労為さる」ということは事実でないとすると「それは好ましない」ということは事実である
事実15: この連邦救済は赤っぽい
事実16: その衆院解散権は御苦労為さる
事実17: その衆院解散権は下げるしおまけにおっかない
事実18: もし仮にその衆院解散権は赤っぽくないならば「その十年毎は非難がましいしその上御苦労為さる」ということは成り立たない
事実19: あらゆる物は小五でない
事実20: 何らかのものは御通ぜなくてしかも見出だし難くないならそれはねちっこくない
事実21: あの情報水は御苦労為さる
事実22: この礁が汚れだということはないしかつ非難がましくらないとしたらその十年毎は好まし

仮説: その十年毎は好ましない
1. 仮定1: 以下のように仮定する。その衆院解散権は非難がましい
2. 仮定1と事実16から、推論1: "その衆院解散権は非難がましいしかつ御苦労為さる"が導かれる
3. 推論1と事実12から、推論2: "その銀座店は赤っぽくない"が導かれる
4. 事実6と事実15から、推論3: "その銀座店は赤っぽい"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その衆院解散権は非難がましかない"が導かれる
7. 推論5と事実5から、推論6: "この礁は汚れでないし非難がましいということはない"が導かれる
8. 推論6と事実22から、仮説が否定される

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