その彗星艦爆は蒼みがからない
fact1: もしその彗星艦爆は寸法安定性であるとすればそれは重ね合わせる fact2: その国語読本は目白牧場だ fact3: もしもなにがしかの物は重ね合わせるとすると「蒼みがかる」ということは成り立つ fact4: もしこの竜の落とし子が汚れ易くないとすれば目白牧場である fact5: 「その彗星艦爆は運転手付きであるが寸法安定性だということはない」ということは成り立たないとすると重ね合わせる fact6: なんらかのものは質問紙でないなら「蒼みがかる」ということは本当だ fact7: その国語読本はし辛くないとするとこの竜の落とし子は住環境水準でないけれど動ける fact8: 「その彗星艦爆は運転手付きであるし寸法安定性である」ということは間違いだ fact9: この竜の落とし子は目白牧場でない fact10: もしその国語読本がし辛いということはないとすればこの竜の落とし子は住環境水準だということはない fact11: その彗星艦爆は寸法安定性でない fact12: もし仮にその彗星艦爆は運転手付きであるがしかし寸法安定性でないとするとその国語読本はし辛くない fact13: もしもこの竜の落とし子が住環境水準でないがしかし動けるとすればそれは汚れ易いということはない
void -> assump1: 以下のように仮定する。その彗星艦爆は運転手付きである一方で寸法安定性でない; fact12 & assump1 -> int1: その国語読本はし辛くない; int1 & fact7 -> int2: この竜の落とし子は住環境水準でないけれど動ける; int2 & fact13 -> int3: この竜の落とし子は汚れ易くない; int3 & fact4 -> int4: この竜の落とし子は目白牧場である; int4 & fact9 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その彗星艦爆は運転手付きであるけれど寸法安定性でない」ということは事実でない; int6 & fact5 -> int7: その彗星艦爆は重ね合わせる; fact3 -> int8: もしもその彗星艦爆が重ね合わせるとしたら蒼みがかる; int7 & int8 -> hypothesis;
もし仮にこの竜の落とし子は質問紙でないならばそれは蒼みがかる
fact14 -> hypothesis;
$facts$ = fact1: もしその彗星艦爆は寸法安定性であるとすればそれは重ね合わせる fact2: その国語読本は目白牧場だ fact3: もしもなにがしかの物は重ね合わせるとすると「蒼みがかる」ということは成り立つ fact4: もしこの竜の落とし子が汚れ易くないとすれば目白牧場である fact5: 「その彗星艦爆は運転手付きであるが寸法安定性だということはない」ということは成り立たないとすると重ね合わせる fact6: なんらかのものは質問紙でないなら「蒼みがかる」ということは本当だ fact7: その国語読本はし辛くないとするとこの竜の落とし子は住環境水準でないけれど動ける fact8: 「その彗星艦爆は運転手付きであるし寸法安定性である」ということは間違いだ fact9: この竜の落とし子は目白牧場でない fact10: もしその国語読本がし辛いということはないとすればこの竜の落とし子は住環境水準だということはない fact11: その彗星艦爆は寸法安定性でない fact12: もし仮にその彗星艦爆は運転手付きであるがしかし寸法安定性でないとするとその国語読本はし辛くない fact13: もしもこの竜の落とし子が住環境水準でないがしかし動けるとすればそれは汚れ易いということはない ; $hypothesis$ = その彗星艦爆は蒼みがからない ; $proof$ = 
void -> assump1: 以下のように仮定する。その彗星艦爆は運転手付きである一方で寸法安定性でない; fact12 & assump1 -> int1: その国語読本はし辛くない; int1 & fact7 -> int2: この竜の落とし子は住環境水準でないけれど動ける; int2 & fact13 -> int3: この竜の落とし子は汚れ易くない; int3 & fact4 -> int4: この竜の落とし子は目白牧場である; int4 & fact9 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その彗星艦爆は運転手付きであるけれど寸法安定性でない」ということは事実でない; int6 & fact5 -> int7: その彗星艦爆は重ね合わせる; fact3 -> int8: もしもその彗星艦爆が重ね合わせるとしたら蒼みがかる; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もしその彗星艦爆は寸法安定性であるとすればそれは重ね合わせる
事実2: その国語読本は目白牧場だ
事実3: もしもなにがしかの物は重ね合わせるとすると「蒼みがかる」ということは成り立つ
事実4: もしこの竜の落とし子が汚れ易くないとすれば目白牧場である
事実5: 「その彗星艦爆は運転手付きであるが寸法安定性だということはない」ということは成り立たないとすると重ね合わせる
事実6: なんらかのものは質問紙でないなら「蒼みがかる」ということは本当だ
事実7: その国語読本はし辛くないとするとこの竜の落とし子は住環境水準でないけれど動ける
事実8: 「その彗星艦爆は運転手付きであるし寸法安定性である」ということは間違いだ
事実9: この竜の落とし子は目白牧場でない
事実10: もしその国語読本がし辛いということはないとすればこの竜の落とし子は住環境水準だということはない
事実11: その彗星艦爆は寸法安定性でない
事実12: もし仮にその彗星艦爆は運転手付きであるがしかし寸法安定性でないとするとその国語読本はし辛くない
事実13: もしもこの竜の落とし子が住環境水準でないがしかし動けるとすればそれは汚れ易いということはない

仮説: その彗星艦爆は蒼みがからない
1. 仮定1: 以下のように仮定する。その彗星艦爆は運転手付きである一方で寸法安定性でない
2. 事実12と仮定1から、推論1: "その国語読本はし辛くない"が導かれる
3. 推論1と事実7から、推論2: "この竜の落とし子は住環境水準でないけれど動ける"が導かれる
4. 推論2と事実13から、推論3: "この竜の落とし子は汚れ易くない"が導かれる
5. 推論3と事実4から、推論4: "この竜の落とし子は目白牧場である"が導かれる
6. 推論4と事実9から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その彗星艦爆は運転手付きであるけれど寸法安定性でない」ということは事実でない"が導かれる
8. 推論6と事実5から、推論7: "その彗星艦爆は重ね合わせる"が導かれる
9. 事実3から、推論8: "もしもその彗星艦爆が重ね合わせるとしたら蒼みがかる"が導かれる
10. 推論7と推論8から、仮説が否定される

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