「ある物は一マイクロメートル以下だがそれは混交しない」ということは間違いだ
fact1: そのヴィシー政権は全従業員だということはないかあるいはそれは盗掘しない fact2: 何かは混交しない fact3: 「一マイクロメートル以下な」ものはある fact4: 仮にそのヴィシー政権は全従業員でないか盗掘しないかまたは両方であるならそれは全従業員でない fact5: この結晶性知能は一マイクロメートル以下である fact6: 全てのものは一マイクロメートル以下だけれど混交しない fact7: 仮にとあるものは常識でないなら一マイクロメートル以下であるししかも耐糖能障害である
fact6 -> int1: この結晶性知能は一マイクロメートル以下だけれど混交しない; int1 -> hypothesis;
その中世は因り難いけれどそれは混交するということはない
fact9 -> int2: もし仮にその中世は常識でないとしたら一マイクロメートル以下であるし加えて耐糖能障害だ; fact10 & fact8 -> int3: そのヴィシー政権は全従業員だということはない; int3 -> int4: なにがしかの物は全従業員だということはない;
$facts$ = fact1: そのヴィシー政権は全従業員だということはないかあるいはそれは盗掘しない fact2: 何かは混交しない fact3: 「一マイクロメートル以下な」ものはある fact4: 仮にそのヴィシー政権は全従業員でないか盗掘しないかまたは両方であるならそれは全従業員でない fact5: この結晶性知能は一マイクロメートル以下である fact6: 全てのものは一マイクロメートル以下だけれど混交しない fact7: 仮にとあるものは常識でないなら一マイクロメートル以下であるししかも耐糖能障害である ; $hypothesis$ = 「ある物は一マイクロメートル以下だがそれは混交しない」ということは間違いだ ; $proof$ = 
fact6 -> int1: この結晶性知能は一マイクロメートル以下だけれど混交しない; int1 -> hypothesis; __DISPROVED__
事実1: そのヴィシー政権は全従業員だということはないかあるいはそれは盗掘しない
事実2: 何かは混交しない
事実3: 「一マイクロメートル以下な」ものはある
事実4: 仮にそのヴィシー政権は全従業員でないか盗掘しないかまたは両方であるならそれは全従業員でない
事実5: この結晶性知能は一マイクロメートル以下である
事実6: 全てのものは一マイクロメートル以下だけれど混交しない
事実7: 仮にとあるものは常識でないなら一マイクロメートル以下であるししかも耐糖能障害である

仮説: 「ある物は一マイクロメートル以下だがそれは混交しない」ということは間違いだ
1. 事実6から、推論1: "この結晶性知能は一マイクロメートル以下だけれど混交しない"が導かれる
2. 推論1から、仮説が否定される

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