この記入係は追い回さない
fact1: もし仮になんらかの物が揉むとすれば追い回す fact2: 「なにかはすりゃ良いけど取得しない」ということは真実だ fact3: この組織再編成は仰々しくない fact4: もし仮にこの組織再編成が可笑しいししかも捨て難いならばあの記入係は追い回さない fact5: とある物は程良くないしその上プレビューするということはない fact6: もし仮に可笑しくない物が捨て難いということはないならばこの記入係は揉む fact7: 仮に「可笑しい一方で捨て難くない」ものがあるとしたらこの記入係は揉む fact8: 仰々しいということはない物はコンサルティングファームであるししかも可笑しい fact9: 「可笑しいということはないしさらに捨て難くない」物はある fact10: 仮に可笑しくないしまた捨て難いものがあるとするとこの記入係は揉む
fact9 & fact6 -> int1: この記入係は揉む; fact1 -> int2: この記入係が揉むとすると追い回す; int1 & int2 -> hypothesis;
fact9 & fact6 -> int1: {C}{a}; fact1 -> int2: {C}{a} -> {D}{a}; int1 & int2 -> hypothesis;
この記入係は追い回さない
fact11 -> int3: もしこの組織再編成が仰々しくないとしたらコンサルティングファームだしまた可笑しい; int3 & fact12 -> int4: この組織再編成はコンサルティングファームであるしおまけに可笑しい; int4 -> int5: この組織再編成は可笑しい;
$facts$ = fact1: もし仮になんらかの物が揉むとすれば追い回す fact2: 「なにかはすりゃ良いけど取得しない」ということは真実だ fact3: この組織再編成は仰々しくない fact4: もし仮にこの組織再編成が可笑しいししかも捨て難いならばあの記入係は追い回さない fact5: とある物は程良くないしその上プレビューするということはない fact6: もし仮に可笑しくない物が捨て難いということはないならばこの記入係は揉む fact7: 仮に「可笑しい一方で捨て難くない」ものがあるとしたらこの記入係は揉む fact8: 仰々しいということはない物はコンサルティングファームであるししかも可笑しい fact9: 「可笑しいということはないしさらに捨て難くない」物はある fact10: 仮に可笑しくないしまた捨て難いものがあるとするとこの記入係は揉む ; $hypothesis$ = この記入係は追い回さない ; $proof$ = 
fact9 & fact6 -> int1: この記入係は揉む; fact1 -> int2: この記入係が揉むとすると追い回す; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかの物が揉むとすれば追い回す
事実2: 「なにかはすりゃ良いけど取得しない」ということは真実だ
事実3: この組織再編成は仰々しくない
事実4: もし仮にこの組織再編成が可笑しいししかも捨て難いならばあの記入係は追い回さない
事実5: とある物は程良くないしその上プレビューするということはない
事実6: もし仮に可笑しくない物が捨て難いということはないならばこの記入係は揉む
事実7: 仮に「可笑しい一方で捨て難くない」ものがあるとしたらこの記入係は揉む
事実8: 仰々しいということはない物はコンサルティングファームであるししかも可笑しい
事実9: 「可笑しいということはないしさらに捨て難くない」物はある
事実10: 仮に可笑しくないしまた捨て難いものがあるとするとこの記入係は揉む

仮説: この記入係は追い回さない
1. 事実9と事実6から、推論1: "この記入係は揉む"が導かれる
2. 事実1から、推論2: "この記入係が揉むとすると追い回す"が導かれる
3. 推論1と推論2から、仮説が否定される

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