「あのグリーンアスパラは苛立たしいしその上ｃＭＯｓセンサーだ」ということは偽だ
fact1: この完全親会社はＣＭＯＳセンサーだ fact2: あのグリーンアスパラは厭わしくないけど新条約だ fact3: 仮にこの逆需要関数が聞き辛いとしたらこの完全親会社は見難いけど苛立たしかない fact4: その拡大家族は聞き辛い fact5: もしもこの飢饉が沿わないなら格好良くない fact6: もし「この飢饉は親しない一方で沿う」ということは本当でないならば沿うということはない fact7: 「格好良くないものは乳臭いかあるいは懐かし」ということは事実だ fact8: あのグリーンアスパラは苛立たしいしかつ聞き辛い fact9: あのグリーンアスパラは恨みがましいし嫌味っぽい fact10: この大兵力は見難くないがしかしそれは過不足無い fact11: あのグリーンアスパラは見難いということはないがそれはＣＭＯＳセンサーである
fact11 -> int1: あのグリーンアスパラはＣＭＯＳセンサーである; fact8 -> int2: あのグリーンアスパラは苛立たしい; int1 & int2 -> hypothesis;
fact11 -> int1: {B}{a}; fact8 -> int2: {C}{a}; int1 & int2 -> hypothesis;
「あのグリーンアスパラは苛立たしいしかつＣＭＯＳセンサーである」ということは成り立たない
fact14 -> int3: もしこの飢饉が格好良くないなら乳臭いかそれは懐かし;
$facts$ = fact1: この完全親会社はＣＭＯＳセンサーだ fact2: あのグリーンアスパラは厭わしくないけど新条約だ fact3: 仮にこの逆需要関数が聞き辛いとしたらこの完全親会社は見難いけど苛立たしかない fact4: その拡大家族は聞き辛い fact5: もしもこの飢饉が沿わないなら格好良くない fact6: もし「この飢饉は親しない一方で沿う」ということは本当でないならば沿うということはない fact7: 「格好良くないものは乳臭いかあるいは懐かし」ということは事実だ fact8: あのグリーンアスパラは苛立たしいしかつ聞き辛い fact9: あのグリーンアスパラは恨みがましいし嫌味っぽい fact10: この大兵力は見難くないがしかしそれは過不足無い fact11: あのグリーンアスパラは見難いということはないがそれはＣＭＯＳセンサーである ; $hypothesis$ = 「あのグリーンアスパラは苛立たしいしその上ｃＭＯｓセンサーだ」ということは偽だ ; $proof$ = 
fact11 -> int1: あのグリーンアスパラはＣＭＯＳセンサーである; fact8 -> int2: あのグリーンアスパラは苛立たしい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この完全親会社はＣＭＯＳセンサーだ
事実2: あのグリーンアスパラは厭わしくないけど新条約だ
事実3: 仮にこの逆需要関数が聞き辛いとしたらこの完全親会社は見難いけど苛立たしかない
事実4: その拡大家族は聞き辛い
事実5: もしもこの飢饉が沿わないなら格好良くない
事実6: もし「この飢饉は親しない一方で沿う」ということは本当でないならば沿うということはない
事実7: 「格好良くないものは乳臭いかあるいは懐かし」ということは事実だ
事実8: あのグリーンアスパラは苛立たしいしかつ聞き辛い
事実9: あのグリーンアスパラは恨みがましいし嫌味っぽい
事実10: この大兵力は見難くないがしかしそれは過不足無い
事実11: あのグリーンアスパラは見難いということはないがそれはＣＭＯＳセンサーである

仮説: 「あのグリーンアスパラは苛立たしいしその上ｃＭＯｓセンサーだ」ということは偽だ
1. 事実11から、推論1: "あのグリーンアスパラはＣＭＯＳセンサーである"が導かれる
2. 事実8から、推論2: "あのグリーンアスパラは苛立たしい"が導かれる
3. 推論1と推論2から、仮説が否定される

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