この陸家嘴は遣り出さない
fact1: その会話イベントはあざとい fact2: 仮にその会話イベントがあざといならこの陸家嘴は遣り出す fact3: 仮に「あの中央署は共産党幹部であるしかつ出来難い」ということは誤りだとしたら「この陸家嘴は共産党幹部でない」ということは本当である fact4: あの中央署は堪忍しない fact5: 「何らかのものは写し為さるということはなくて過ぎ行かない」ということは偽であるとすると足留めしない fact6: なにかは共産党幹部でないとすると「それは写し為さらなくてそれにそれは過ぎ行くということはない」ということは間違いだ fact7: 来難くないものは遣り出すしあざとい fact8: もし仮にあの中央署は堪忍しないとしたら「それは共産党幹部でそれに出来難い」ということは間違っている fact9: もし仮にこの陸家嘴はあざといならば「その会話イベントは遣り出す」ということは事実である
fact2 & fact1 -> hypothesis;
その会話イベントは遣り出す
fact15 -> int1: 仮にその会話イベントが来難いということはないならそれは遣り出すししかもあざとい; fact14 -> int2: もしも「この陸家嘴は写し為さらないし更に過ぎ行くということはない」ということは誤っているとすると「それは足留めするということはない」ということは成り立つ; fact10 -> int3: もしもこの陸家嘴は共産党幹部でないとすると「それは写し為さらないしおまけにそれは過ぎ行かない」ということは間違いだ; fact11 & fact12 -> int4: 「「あの中央署は共産党幹部で出来難い」ということは成り立つ」ということは誤りである; fact13 & int4 -> int5: この陸家嘴は共産党幹部であるということはない; int3 & int5 -> int6: 「この陸家嘴は写し為さらなくてしかもそれは過ぎ行かない」ということは成り立たない; int2 & int6 -> int7: この陸家嘴は足留めするということはない; int7 -> int8: 「足留めしない」物はある;
$facts$ = fact1: その会話イベントはあざとい fact2: 仮にその会話イベントがあざといならこの陸家嘴は遣り出す fact3: 仮に「あの中央署は共産党幹部であるしかつ出来難い」ということは誤りだとしたら「この陸家嘴は共産党幹部でない」ということは本当である fact4: あの中央署は堪忍しない fact5: 「何らかのものは写し為さるということはなくて過ぎ行かない」ということは偽であるとすると足留めしない fact6: なにかは共産党幹部でないとすると「それは写し為さらなくてそれにそれは過ぎ行くということはない」ということは間違いだ fact7: 来難くないものは遣り出すしあざとい fact8: もし仮にあの中央署は堪忍しないとしたら「それは共産党幹部でそれに出来難い」ということは間違っている fact9: もし仮にこの陸家嘴はあざといならば「その会話イベントは遣り出す」ということは事実である ; $hypothesis$ = この陸家嘴は遣り出さない ; $proof$ = 
fact2 & fact1 -> hypothesis; __DISPROVED__
事実1: その会話イベントはあざとい
事実2: 仮にその会話イベントがあざといならこの陸家嘴は遣り出す
事実3: 仮に「あの中央署は共産党幹部であるしかつ出来難い」ということは誤りだとしたら「この陸家嘴は共産党幹部でない」ということは本当である
事実4: あの中央署は堪忍しない
事実5: 「何らかのものは写し為さるということはなくて過ぎ行かない」ということは偽であるとすると足留めしない
事実6: なにかは共産党幹部でないとすると「それは写し為さらなくてそれにそれは過ぎ行くということはない」ということは間違いだ
事実7: 来難くないものは遣り出すしあざとい
事実8: もし仮にあの中央署は堪忍しないとしたら「それは共産党幹部でそれに出来難い」ということは間違っている
事実9: もし仮にこの陸家嘴はあざといならば「その会話イベントは遣り出す」ということは事実である

仮説: この陸家嘴は遣り出さない
1. 事実2と事実1から、仮説が否定される

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