この愚はＧＨＲＨでないしおまけにＳＢでない
fact1: この愚はＰＩＮだ fact2: もし仮に「痛ーい」物はあるなら「この愚はＧＨＲＨでないがしかしＳＢである」ということは成り立たない fact3: このノックアウトマウスは十ミリリットル注射器だ fact4: もし「なにがしかの物は物凄ーいし加えてＳＢだ」ということは誤りだとしたら「ＳＢでない」ということは間違いでない fact5: あるものはＳＢでないとすると「ＧＨＲＨであるしその上それは痛ーい」ということは成り立たない fact6: もしなにがしかのものは痛ーいとしたら「この愚はＧＨＲＨでなくてその上ＳＢでない」ということは誤りだ fact7: 「その食事券はＧＨＲＨでないし痛ーくない」ということは間違っている fact8: もしこのノックアウトマウスはＳＢだとしたら「この愚は十ミリリットル注射器だ」ということは真実である fact9: このノックアウトマウスが痛ーくないならばその国境近くは点灸であるしその上十ミリリットル注射器だ fact10: 「その食事券はし始めるしそれにそれはべとべとする」ということは誤りである fact11: もし仮に「何かはし始めるしさらにそれはべとべとする」ということは間違いであるならば「現在形でない」ということは偽でない fact12: 「この愚はＧＨＲＨである一方でＳＢでない」ということは事実と異なる fact13: その食事券は十ミリリットル注射器だ fact14: 「このノックアウトマウスはＧＨＲＨであるということはないし十ミリリットル注射器でない」ということは本当でない fact15: 仮にこのノックアウトマウスが十ミリリットル注射器であるならその食事券は痛ーい fact16: 「痛ーい」ものはあるなら「この愚はＧＨＲＨであるけれどＳＢでない」ということは成り立たない fact17: もし仮にとあるものは現在形であるということはないとすれば「それは物凄ーいしさらにＳＢである」ということは誤っている fact18: 「この愚はＧＨＲＨでない一方でＳＢである」ということは誤りである fact19: もし何かは現在形でないならば「このノックアウトマウスは痛ーくない物でそれに物凄ーいということはない」ということは正しい fact20: もし「その食事券はＧＨＲＨであるしまた痛ーい」ということは間違いだとしたらこのノックアウトマウスは痛ーくない
fact15 & fact3 -> int1: その食事券は痛ーい; int1 -> int2: 「痛ーい」ものはある; int2 & fact6 -> hypothesis;
この愚はＧＨＲＨでないしそれはＳＢであるということはない
fact23 -> int3: もし「その食事券はし始めるしべとべとする」ということは間違っているとすると現在形でない; int3 & fact21 -> int4: その食事券は現在形でない; int4 -> int5: なにかは現在形であるということはない; int5 & fact22 -> int6: 「このノックアウトマウスは痛ーくないしそれは物凄ーくない」ということは確かである; int6 -> int7: 痛ーいということはないし更に物凄ーいということはないものはある;
$facts$ = fact1: この愚はＰＩＮだ fact2: もし仮に「痛ーい」物はあるなら「この愚はＧＨＲＨでないがしかしＳＢである」ということは成り立たない fact3: このノックアウトマウスは十ミリリットル注射器だ fact4: もし「なにがしかの物は物凄ーいし加えてＳＢだ」ということは誤りだとしたら「ＳＢでない」ということは間違いでない fact5: あるものはＳＢでないとすると「ＧＨＲＨであるしその上それは痛ーい」ということは成り立たない fact6: もしなにがしかのものは痛ーいとしたら「この愚はＧＨＲＨでなくてその上ＳＢでない」ということは誤りだ fact7: 「その食事券はＧＨＲＨでないし痛ーくない」ということは間違っている fact8: もしこのノックアウトマウスはＳＢだとしたら「この愚は十ミリリットル注射器だ」ということは真実である fact9: このノックアウトマウスが痛ーくないならばその国境近くは点灸であるしその上十ミリリットル注射器だ fact10: 「その食事券はし始めるしそれにそれはべとべとする」ということは誤りである fact11: もし仮に「何かはし始めるしさらにそれはべとべとする」ということは間違いであるならば「現在形でない」ということは偽でない fact12: 「この愚はＧＨＲＨである一方でＳＢでない」ということは事実と異なる fact13: その食事券は十ミリリットル注射器だ fact14: 「このノックアウトマウスはＧＨＲＨであるということはないし十ミリリットル注射器でない」ということは本当でない fact15: 仮にこのノックアウトマウスが十ミリリットル注射器であるならその食事券は痛ーい fact16: 「痛ーい」ものはあるなら「この愚はＧＨＲＨであるけれどＳＢでない」ということは成り立たない fact17: もし仮にとあるものは現在形であるということはないとすれば「それは物凄ーいしさらにＳＢである」ということは誤っている fact18: 「この愚はＧＨＲＨでない一方でＳＢである」ということは誤りである fact19: もし何かは現在形でないならば「このノックアウトマウスは痛ーくない物でそれに物凄ーいということはない」ということは正しい fact20: もし「その食事券はＧＨＲＨであるしまた痛ーい」ということは間違いだとしたらこのノックアウトマウスは痛ーくない ; $hypothesis$ = この愚はＧＨＲＨでないしおまけにＳＢでない ; $proof$ = 
fact15 & fact3 -> int1: その食事券は痛ーい; int1 -> int2: 「痛ーい」ものはある; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: この愚はＰＩＮだ
事実2: もし仮に「痛ーい」物はあるなら「この愚はＧＨＲＨでないがしかしＳＢである」ということは成り立たない
事実3: このノックアウトマウスは十ミリリットル注射器だ
事実4: もし「なにがしかの物は物凄ーいし加えてＳＢだ」ということは誤りだとしたら「ＳＢでない」ということは間違いでない
事実5: あるものはＳＢでないとすると「ＧＨＲＨであるしその上それは痛ーい」ということは成り立たない
事実6: もしなにがしかのものは痛ーいとしたら「この愚はＧＨＲＨでなくてその上ＳＢでない」ということは誤りだ
事実7: 「その食事券はＧＨＲＨでないし痛ーくない」ということは間違っている
事実8: もしこのノックアウトマウスはＳＢだとしたら「この愚は十ミリリットル注射器だ」ということは真実である
事実9: このノックアウトマウスが痛ーくないならばその国境近くは点灸であるしその上十ミリリットル注射器だ
事実10: 「その食事券はし始めるしそれにそれはべとべとする」ということは誤りである
事実11: もし仮に「何かはし始めるしさらにそれはべとべとする」ということは間違いであるならば「現在形でない」ということは偽でない
事実12: 「この愚はＧＨＲＨである一方でＳＢでない」ということは事実と異なる
事実13: その食事券は十ミリリットル注射器だ
事実14: 「このノックアウトマウスはＧＨＲＨであるということはないし十ミリリットル注射器でない」ということは本当でない
事実15: 仮にこのノックアウトマウスが十ミリリットル注射器であるならその食事券は痛ーい
事実16: 「痛ーい」ものはあるなら「この愚はＧＨＲＨであるけれどＳＢでない」ということは成り立たない
事実17: もし仮にとあるものは現在形であるということはないとすれば「それは物凄ーいしさらにＳＢである」ということは誤っている
事実18: 「この愚はＧＨＲＨでない一方でＳＢである」ということは誤りである
事実19: もし何かは現在形でないならば「このノックアウトマウスは痛ーくない物でそれに物凄ーいということはない」ということは正しい
事実20: もし「その食事券はＧＨＲＨであるしまた痛ーい」ということは間違いだとしたらこのノックアウトマウスは痛ーくない

仮説: この愚はＧＨＲＨでないしおまけにＳＢでない
1. 事実15と事実3から、推論1: "その食事券は痛ーい"が導かれる
2. 推論1から、推論2: "「痛ーい」ものはある"が導かれる
3. 推論2と事実6から、仮説が否定される

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