「あの原生生物は大量消費で加えて献身する」ということは誤りだ
fact1: 「その理念型は寂しかない」ということは成り立たない fact2: あの原生生物は寂しくて献身する fact3: その三菱式双発輸送機は献身するししかも難聴学級だ fact4: あの原生生物は大量消費であるしその上潔い fact5: もしこの期末在庫が潔いとしたら虚仮脅しである fact6: 「あの原生生物は潔い」ということは成り立つ fact7: あの原生生物は賛成出来る fact8: あの原生生物は寂しい fact9: 仮に「なんらかのものは寂しかない」ということは成り立つとすると「それが大量消費だしその上それは献身する」ということは成り立たない
fact2 -> int1: あの原生生物は献身する; fact4 -> int2: あの原生生物は大量消費である; int1 & int2 -> hypothesis;
「あの原生生物は大量消費であるしさらに献身する」ということは成り立たない
fact10 -> int3: もし仮にあの原生生物は寂しかないとすると「それは大量消費で献身する」ということは成り立つということはない;
$facts$ = fact1: 「その理念型は寂しかない」ということは成り立たない fact2: あの原生生物は寂しくて献身する fact3: その三菱式双発輸送機は献身するししかも難聴学級だ fact4: あの原生生物は大量消費であるしその上潔い fact5: もしこの期末在庫が潔いとしたら虚仮脅しである fact6: 「あの原生生物は潔い」ということは成り立つ fact7: あの原生生物は賛成出来る fact8: あの原生生物は寂しい fact9: 仮に「なんらかのものは寂しかない」ということは成り立つとすると「それが大量消費だしその上それは献身する」ということは成り立たない ; $hypothesis$ = 「あの原生生物は大量消費で加えて献身する」ということは誤りだ ; $proof$ = 
fact2 -> int1: あの原生生物は献身する; fact4 -> int2: あの原生生物は大量消費である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「その理念型は寂しかない」ということは成り立たない
事実2: あの原生生物は寂しくて献身する
事実3: その三菱式双発輸送機は献身するししかも難聴学級だ
事実4: あの原生生物は大量消費であるしその上潔い
事実5: もしこの期末在庫が潔いとしたら虚仮脅しである
事実6: 「あの原生生物は潔い」ということは成り立つ
事実7: あの原生生物は賛成出来る
事実8: あの原生生物は寂しい
事実9: 仮に「なんらかのものは寂しかない」ということは成り立つとすると「それが大量消費だしその上それは献身する」ということは成り立たない

仮説: 「あの原生生物は大量消費で加えて献身する」ということは誤りだ
1. 事実2から、推論1: "あの原生生物は献身する"が導かれる
2. 事実4から、推論2: "あの原生生物は大量消費である"が導かれる
3. 推論1と推論2から、仮説が否定される

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