その現実主義は下賜しない
fact1: その考え方はわりなくなくてなあくない fact2: その現実主義は成型機でない fact3: 仮にその考え方が下賜しないとすればその現実主義は下賜する fact4: 仮にこの勝ち組企業が食らうとしたらその現実主義は成型機でないし下賜しない fact5: もし仮にその現実主義が下賜しなくてそれに食らうということはないならばこの勝ち組企業は成型機である fact6: その考え方がわりなくないしさらになあいということはないとすればこの勝ち組企業は食らう fact7: 仮にこの勝ち組企業が下賜しない一方で成型機ならばあの現実主義は食らう fact8: その考え方は成型機でないしそれはわりなくない fact9: 仮にその考え方がわりないがしかしなあくないとしたらこの勝ち組企業は食らう fact10: この勝ち組企業は成型機だということはないし持ち難くない fact11: その考え方はわりなくない fact12: その考え方はイヤフォンである fact13: この勝ち組企業はわりないということはない
fact6 & fact1 -> int1: この勝ち組企業は食らう; int1 & fact4 -> int2: その現実主義は成型機であるということはないし更にそれは下賜するということはない; int2 -> hypothesis;
fact6 & fact1 -> int1: {B}{b}; int1 & fact4 -> int2: (¬{A}{c} & ¬{C}{c}); int2 -> hypothesis;
その現実主義は下賜する
$facts$ = fact1: その考え方はわりなくなくてなあくない fact2: その現実主義は成型機でない fact3: 仮にその考え方が下賜しないとすればその現実主義は下賜する fact4: 仮にこの勝ち組企業が食らうとしたらその現実主義は成型機でないし下賜しない fact5: もし仮にその現実主義が下賜しなくてそれに食らうということはないならばこの勝ち組企業は成型機である fact6: その考え方がわりなくないしさらになあいということはないとすればこの勝ち組企業は食らう fact7: 仮にこの勝ち組企業が下賜しない一方で成型機ならばあの現実主義は食らう fact8: その考え方は成型機でないしそれはわりなくない fact9: 仮にその考え方がわりないがしかしなあくないとしたらこの勝ち組企業は食らう fact10: この勝ち組企業は成型機だということはないし持ち難くない fact11: その考え方はわりなくない fact12: その考え方はイヤフォンである fact13: この勝ち組企業はわりないということはない ; $hypothesis$ = その現実主義は下賜しない ; $proof$ = 
fact6 & fact1 -> int1: この勝ち組企業は食らう; int1 & fact4 -> int2: その現実主義は成型機であるということはないし更にそれは下賜するということはない; int2 -> hypothesis; __PROVED__
事実1: その考え方はわりなくなくてなあくない
事実2: その現実主義は成型機でない
事実3: 仮にその考え方が下賜しないとすればその現実主義は下賜する
事実4: 仮にこの勝ち組企業が食らうとしたらその現実主義は成型機でないし下賜しない
事実5: もし仮にその現実主義が下賜しなくてそれに食らうということはないならばこの勝ち組企業は成型機である
事実6: その考え方がわりなくないしさらになあいということはないとすればこの勝ち組企業は食らう
事実7: 仮にこの勝ち組企業が下賜しない一方で成型機ならばあの現実主義は食らう
事実8: その考え方は成型機でないしそれはわりなくない
事実9: 仮にその考え方がわりないがしかしなあくないとしたらこの勝ち組企業は食らう
事実10: この勝ち組企業は成型機だということはないし持ち難くない
事実11: その考え方はわりなくない
事実12: その考え方はイヤフォンである
事実13: この勝ち組企業はわりないということはない

仮説: その現実主義は下賜しない
1. 事実6と事実1から、推論1: "この勝ち組企業は食らう"が導かれる
2. 推論1と事実4から、推論2: "その現実主義は成型機であるということはないし更にそれは下賜するということはない"が導かれる
3. 推論2から、仮説が導かれる

よって、仮説が証明されました。