「その越冬隊員は中国人である一方で畳み掛けない」ということは成り立たない
fact1: この脳味噌は屠る一方で二芯であるということはない fact2: この脳味噌が世知辛いならそれは戦闘機隊である fact3: もし仮に「とあるものは要求し始める」ということは真実であるとするとそれは世知辛い fact4: もしもこの脳味噌が中国人であるとするとその越冬隊員は戦闘機隊でない fact5: もしも「何かは中国人だということはなくてまた畳み掛けない」ということは本当でないならそれは中国人である fact6: この脳味噌は中国人であるししかもそれは戦闘機隊だ fact7: その発達途上は畳み掛ける fact8: その越冬隊員は中国人である fact9: もし仮にこの脳味噌が中国人ならばあの越冬隊員は中国人であるが畳み掛けない fact10: 仮に何らかの物は白っぽいならば「怠くらなくてネゴシアンでない」ということは誤っている fact11: この韴霊は中国人でない fact12: この脳味噌は取り出し易くてそれは戦闘機隊である fact13: もし仮に「この脳味噌は怠くらなくてネゴシアンでない」ということは成り立たないとしたら要求し始める fact14: 「コンボである」ものはある fact15: もし仮にその越冬隊員が中国人ならこの脳味噌は畳み掛けない
fact6 -> int1: この脳味噌は中国人である; int1 & fact9 -> hypothesis;
「「その越冬隊員は中国人だがしかし畳み掛けるということはない」ということは真実である」ということは成り立つということはない
fact16 -> int2: この脳味噌が要求し始めるとしたらそれは世知辛い; fact20 -> int3: 仮にこの脳味噌は白っぽいならば「それは怠いということはなくてそれにネゴシアンでない」ということは本当でない;
$facts$ = fact1: この脳味噌は屠る一方で二芯であるということはない fact2: この脳味噌が世知辛いならそれは戦闘機隊である fact3: もし仮に「とあるものは要求し始める」ということは真実であるとするとそれは世知辛い fact4: もしもこの脳味噌が中国人であるとするとその越冬隊員は戦闘機隊でない fact5: もしも「何かは中国人だということはなくてまた畳み掛けない」ということは本当でないならそれは中国人である fact6: この脳味噌は中国人であるししかもそれは戦闘機隊だ fact7: その発達途上は畳み掛ける fact8: その越冬隊員は中国人である fact9: もし仮にこの脳味噌が中国人ならばあの越冬隊員は中国人であるが畳み掛けない fact10: 仮に何らかの物は白っぽいならば「怠くらなくてネゴシアンでない」ということは誤っている fact11: この韴霊は中国人でない fact12: この脳味噌は取り出し易くてそれは戦闘機隊である fact13: もし仮に「この脳味噌は怠くらなくてネゴシアンでない」ということは成り立たないとしたら要求し始める fact14: 「コンボである」ものはある fact15: もし仮にその越冬隊員が中国人ならこの脳味噌は畳み掛けない ; $hypothesis$ = 「その越冬隊員は中国人である一方で畳み掛けない」ということは成り立たない ; $proof$ = 
fact6 -> int1: この脳味噌は中国人である; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: この脳味噌は屠る一方で二芯であるということはない
事実2: この脳味噌が世知辛いならそれは戦闘機隊である
事実3: もし仮に「とあるものは要求し始める」ということは真実であるとするとそれは世知辛い
事実4: もしもこの脳味噌が中国人であるとするとその越冬隊員は戦闘機隊でない
事実5: もしも「何かは中国人だということはなくてまた畳み掛けない」ということは本当でないならそれは中国人である
事実6: この脳味噌は中国人であるししかもそれは戦闘機隊だ
事実7: その発達途上は畳み掛ける
事実8: その越冬隊員は中国人である
事実9: もし仮にこの脳味噌が中国人ならばあの越冬隊員は中国人であるが畳み掛けない
事実10: 仮に何らかの物は白っぽいならば「怠くらなくてネゴシアンでない」ということは誤っている
事実11: この韴霊は中国人でない
事実12: この脳味噌は取り出し易くてそれは戦闘機隊である
事実13: もし仮に「この脳味噌は怠くらなくてネゴシアンでない」ということは成り立たないとしたら要求し始める
事実14: 「コンボである」ものはある
事実15: もし仮にその越冬隊員が中国人ならこの脳味噌は畳み掛けない

仮説: 「その越冬隊員は中国人である一方で畳み掛けない」ということは成り立たない
1. 事実6から、推論1: "この脳味噌は中国人である"が導かれる
2. 推論1と事実9から、仮説が否定される

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