この六Ｐはし過ぎない
fact1: 「この六Ｐはアルギン酸ドレッシング材だけれどそれはし過ぎない」ということは成り立たない fact2: この農村経済更生運動は新勢力だ fact3: もしもこの農村経済更生運動はアルギン酸ドレッシング材でないならば「この供試装置はアルギン酸ドレッシング材であるしその上加熱する」ということは成り立つということはない fact4: もしこの供試装置がアルギン酸ドレッシング材だがそれがし過ぎるということはないならばそれは生々しいということはない fact5: もしこの供試装置が加熱するとするとこの六Ｐはし過ぎる fact6: 「この六Ｐはアルギン酸ドレッシング材である一方で用心深くない」ということは成り立たない fact7: 「「この供試装置はアルギン酸ドレッシング材でそれは加熱する」ということは成り立つ」ということは事実と異なる fact8: この農村経済更生運動はアルギン酸ドレッシング材であるということはないなら「この供試装置はアルギン酸ドレッシング材であるけれど加熱しない」ということは誤りである fact9: 「もし「この農村経済更生運動は加熱するけど生々しかない」ということは確かでないならばあの供試装置はアルギン酸ドレッシング材である」ということは成り立つ fact10: この供試装置は覚え易い fact11: この農村経済更生運動は新勢力であるけれど生々しかない fact12: この供試装置は町議選である fact13: この供試装置は新勢力だ fact14: 仮にこの農村経済更生運動が新勢力だがそれが生々しかないならばアルギン酸ドレッシング材でない fact15: もし「この六Ｐは新勢力だがそれはアルギン酸ドレッシング材でない」ということは誤っているとすればこの農村経済更生運動はし過ぎる fact16: もしもこの供試装置は生々しいがしかしアルギン酸ドレッシング材であるということはないとしたら加熱するということはない fact17: 仮に「この六Ｐは新勢力であるがしかし生々しかない」ということは成り立たないとしたらこの農村経済更生運動はし過ぎる fact18: もしなにかはプログラム化するとすれば「それは加熱しないかそれはアルギン酸ドレッシング材でない」ということは成り立つ fact19: この六Ｐは新勢力でない fact20: もし「この供試装置はアルギン酸ドレッシング材である一方でそれは加熱するということはない」ということは誤っていればこの六Ｐはし過ぎる
fact14 & fact11 -> int1: この農村経済更生運動はアルギン酸ドレッシング材でない; int1 & fact8 -> int2: 「この供試装置はアルギン酸ドレッシング材だ一方で加熱しない」ということは間違いである; int2 & fact20 -> hypothesis;
fact14 & fact11 -> int1: ¬{B}{a}; int1 & fact8 -> int2: ¬({B}{b} & ¬{C}{b}); int2 & fact20 -> hypothesis;
この六Ｐはし過ぎない
fact21 -> int3: 仮にこの農村経済更生運動がプログラム化すればそれは加熱しないかもしくはアルギン酸ドレッシング材でないかあるいはどちらもだ;
$facts$ = fact1: 「この六Ｐはアルギン酸ドレッシング材だけれどそれはし過ぎない」ということは成り立たない fact2: この農村経済更生運動は新勢力だ fact3: もしもこの農村経済更生運動はアルギン酸ドレッシング材でないならば「この供試装置はアルギン酸ドレッシング材であるしその上加熱する」ということは成り立つということはない fact4: もしこの供試装置がアルギン酸ドレッシング材だがそれがし過ぎるということはないならばそれは生々しいということはない fact5: もしこの供試装置が加熱するとするとこの六Ｐはし過ぎる fact6: 「この六Ｐはアルギン酸ドレッシング材である一方で用心深くない」ということは成り立たない fact7: 「「この供試装置はアルギン酸ドレッシング材でそれは加熱する」ということは成り立つ」ということは事実と異なる fact8: この農村経済更生運動はアルギン酸ドレッシング材であるということはないなら「この供試装置はアルギン酸ドレッシング材であるけれど加熱しない」ということは誤りである fact9: 「もし「この農村経済更生運動は加熱するけど生々しかない」ということは確かでないならばあの供試装置はアルギン酸ドレッシング材である」ということは成り立つ fact10: この供試装置は覚え易い fact11: この農村経済更生運動は新勢力であるけれど生々しかない fact12: この供試装置は町議選である fact13: この供試装置は新勢力だ fact14: 仮にこの農村経済更生運動が新勢力だがそれが生々しかないならばアルギン酸ドレッシング材でない fact15: もし「この六Ｐは新勢力だがそれはアルギン酸ドレッシング材でない」ということは誤っているとすればこの農村経済更生運動はし過ぎる fact16: もしもこの供試装置は生々しいがしかしアルギン酸ドレッシング材であるということはないとしたら加熱するということはない fact17: 仮に「この六Ｐは新勢力であるがしかし生々しかない」ということは成り立たないとしたらこの農村経済更生運動はし過ぎる fact18: もしなにかはプログラム化するとすれば「それは加熱しないかそれはアルギン酸ドレッシング材でない」ということは成り立つ fact19: この六Ｐは新勢力でない fact20: もし「この供試装置はアルギン酸ドレッシング材である一方でそれは加熱するということはない」ということは誤っていればこの六Ｐはし過ぎる ; $hypothesis$ = この六Ｐはし過ぎない ; $proof$ = 
fact14 & fact11 -> int1: この農村経済更生運動はアルギン酸ドレッシング材でない; int1 & fact8 -> int2: 「この供試装置はアルギン酸ドレッシング材だ一方で加熱しない」ということは間違いである; int2 & fact20 -> hypothesis; __DISPROVED__
事実1: 「この六Ｐはアルギン酸ドレッシング材だけれどそれはし過ぎない」ということは成り立たない
事実2: この農村経済更生運動は新勢力だ
事実3: もしもこの農村経済更生運動はアルギン酸ドレッシング材でないならば「この供試装置はアルギン酸ドレッシング材であるしその上加熱する」ということは成り立つということはない
事実4: もしこの供試装置がアルギン酸ドレッシング材だがそれがし過ぎるということはないならばそれは生々しいということはない
事実5: もしこの供試装置が加熱するとするとこの六Ｐはし過ぎる
事実6: 「この六Ｐはアルギン酸ドレッシング材である一方で用心深くない」ということは成り立たない
事実7: 「「この供試装置はアルギン酸ドレッシング材でそれは加熱する」ということは成り立つ」ということは事実と異なる
事実8: この農村経済更生運動はアルギン酸ドレッシング材であるということはないなら「この供試装置はアルギン酸ドレッシング材であるけれど加熱しない」ということは誤りである
事実9: 「もし「この農村経済更生運動は加熱するけど生々しかない」ということは確かでないならばあの供試装置はアルギン酸ドレッシング材である」ということは成り立つ
事実10: この供試装置は覚え易い
事実11: この農村経済更生運動は新勢力であるけれど生々しかない
事実12: この供試装置は町議選である
事実13: この供試装置は新勢力だ
事実14: 仮にこの農村経済更生運動が新勢力だがそれが生々しかないならばアルギン酸ドレッシング材でない
事実15: もし「この六Ｐは新勢力だがそれはアルギン酸ドレッシング材でない」ということは誤っているとすればこの農村経済更生運動はし過ぎる
事実16: もしもこの供試装置は生々しいがしかしアルギン酸ドレッシング材であるということはないとしたら加熱するということはない
事実17: 仮に「この六Ｐは新勢力であるがしかし生々しかない」ということは成り立たないとしたらこの農村経済更生運動はし過ぎる
事実18: もしなにかはプログラム化するとすれば「それは加熱しないかそれはアルギン酸ドレッシング材でない」ということは成り立つ
事実19: この六Ｐは新勢力でない
事実20: もし「この供試装置はアルギン酸ドレッシング材である一方でそれは加熱するということはない」ということは誤っていればこの六Ｐはし過ぎる

仮説: この六Ｐはし過ぎない
1. 事実14と事実11から、推論1: "この農村経済更生運動はアルギン酸ドレッシング材でない"が導かれる
2. 推論1と事実8から、推論2: "「この供試装置はアルギン酸ドレッシング材だ一方で加熱しない」ということは間違いである"が導かれる
3. 推論2と事実20から、仮説が否定される

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