その政社組織は遣り捲る
fact1: その餡グラムは遣り捲らない fact2: どれもこれもは苛立たしかない fact3: なんらかのものが遣り捲らないしおまけにそれは年平均値でないとしたら「その政社組織は苛立たしかない」ということは本当である fact4: この全米科学アカデミーは苛立たしかないしまた遣り捲るということはない fact5: もし仮になにかは苛立たしいがしかし年平均値であるということはないならばあの政社組織は遣り捲らない fact6: 仮に「苛立たしかなくて年平均値でない」物があるとすればその政社組織は遣り捲るということはない fact7: もし仮になにがしかの物は苛立たしいとすれば「言上しないし就社でない」ということは事実である fact8: この全米科学アカデミーは苛立たしかない fact9: すべての物は苛立たしかなくて年平均値でない fact10: 苛立たしかないものはある
fact9 -> int1: この全米科学アカデミーは苛立たしかなくてまた年平均値でない; int1 -> int2: 何かは苛立たしかなくてかつそれは年平均値だということはない; int2 & fact6 -> hypothesis;
fact9 -> int1: (¬{A}{aa} & ¬{B}{aa}); int1 -> int2: (Ex): (¬{A}x & ¬{B}x); int2 & fact6 -> hypothesis;
全ては言上しないしその上就社でない
fact11 -> int3: もしもその政社組織が苛立たしいとしたら言上しなくて加えてそれは就社だということはない;
$facts$ = fact1: その餡グラムは遣り捲らない fact2: どれもこれもは苛立たしかない fact3: なんらかのものが遣り捲らないしおまけにそれは年平均値でないとしたら「その政社組織は苛立たしかない」ということは本当である fact4: この全米科学アカデミーは苛立たしかないしまた遣り捲るということはない fact5: もし仮になにかは苛立たしいがしかし年平均値であるということはないならばあの政社組織は遣り捲らない fact6: 仮に「苛立たしかなくて年平均値でない」物があるとすればその政社組織は遣り捲るということはない fact7: もし仮になにがしかの物は苛立たしいとすれば「言上しないし就社でない」ということは事実である fact8: この全米科学アカデミーは苛立たしかない fact9: すべての物は苛立たしかなくて年平均値でない fact10: 苛立たしかないものはある ; $hypothesis$ = その政社組織は遣り捲る ; $proof$ = 
fact9 -> int1: この全米科学アカデミーは苛立たしかなくてまた年平均値でない; int1 -> int2: 何かは苛立たしかなくてかつそれは年平均値だということはない; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: その餡グラムは遣り捲らない
事実2: どれもこれもは苛立たしかない
事実3: なんらかのものが遣り捲らないしおまけにそれは年平均値でないとしたら「その政社組織は苛立たしかない」ということは本当である
事実4: この全米科学アカデミーは苛立たしかないしまた遣り捲るということはない
事実5: もし仮になにかは苛立たしいがしかし年平均値であるということはないならばあの政社組織は遣り捲らない
事実6: 仮に「苛立たしかなくて年平均値でない」物があるとすればその政社組織は遣り捲るということはない
事実7: もし仮になにがしかの物は苛立たしいとすれば「言上しないし就社でない」ということは事実である
事実8: この全米科学アカデミーは苛立たしかない
事実9: すべての物は苛立たしかなくて年平均値でない
事実10: 苛立たしかないものはある

仮説: その政社組織は遣り捲る
1. 事実9から、推論1: "この全米科学アカデミーは苛立たしかなくてまた年平均値でない"が導かれる
2. 推論1から、推論2: "何かは苛立たしかなくてかつそれは年平均値だということはない"が導かれる
3. 推論2と事実6から、仮説が否定される

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