「その山王祭は焦れったい」ということは正しい
fact1: もし仮になんらかのものが気難しくないし潔しないならそれは焦れったくない fact2: もしその山王祭が気難しくないがそれが潔しならそれは焦れったくない fact3: もしもこの東遷が配慮しないがしかしそれが切れ易いとすればそれは焦れったくない fact4: 「気難しい」ものがあるならばあの山王祭は上接しない fact5: もし仮に切り離し難くないものはナノチューブ固有でないとしたら白くない fact6: もしも「この複数台は焦れったくなくて気難しくない」ということは嘘だとしたら「その山王祭は焦れったい」ということは事実だ fact7: もし何かは駆け回らないし命令しないとしたら陰気臭くない fact8: もし仮に「得られ難い」物があるとするとこの三十六人は悲しくないしさらに潔しない fact9: もしもなんらかの物は五巻本であるならば「その山王祭は麗しくない」ということは成り立つ fact10: なんらかの物が就航しないしまたそれはグレースケール画像でないとするとそれは資本主義企業でない fact11: 「平べったい」物があるとすればその山王祭は気難しくないし更に潔しない fact12: あるものは止めど無い fact13: 「あのクレーム対応は気難しいということはない」ということは真実だ fact14: その山王祭は平べったくない fact15: あの独立宣言は平べったくない fact16: なにがしかのものは平べったい fact17: もしとあるものは平べったいとすると「それは焦れったくないししかもそれは気難しくない」ということは嘘だ fact18: 仮に何らかの物が着座しないし更にそれが女偏でないとすればそれは近寄り難いということはない fact19: その山王祭は保障すらない
fact16 & fact11 -> int1: その山王祭は気難しいということはないしそれは潔しということはない; fact1 -> int2: 仮にその山王祭は気難しくないしまた潔しということはないとすればそれは焦れったいということはない; int1 & int2 -> hypothesis;
「その山王祭は焦れったい」ということは成り立つ
fact20 -> int3: もしもこの複数台は平べったいならば「焦れったくなくて気難しくない」ということは成り立たない;
$facts$ = fact1: もし仮になんらかのものが気難しくないし潔しないならそれは焦れったくない fact2: もしその山王祭が気難しくないがそれが潔しならそれは焦れったくない fact3: もしもこの東遷が配慮しないがしかしそれが切れ易いとすればそれは焦れったくない fact4: 「気難しい」ものがあるならばあの山王祭は上接しない fact5: もし仮に切り離し難くないものはナノチューブ固有でないとしたら白くない fact6: もしも「この複数台は焦れったくなくて気難しくない」ということは嘘だとしたら「その山王祭は焦れったい」ということは事実だ fact7: もし何かは駆け回らないし命令しないとしたら陰気臭くない fact8: もし仮に「得られ難い」物があるとするとこの三十六人は悲しくないしさらに潔しない fact9: もしもなんらかの物は五巻本であるならば「その山王祭は麗しくない」ということは成り立つ fact10: なんらかの物が就航しないしまたそれはグレースケール画像でないとするとそれは資本主義企業でない fact11: 「平べったい」物があるとすればその山王祭は気難しくないし更に潔しない fact12: あるものは止めど無い fact13: 「あのクレーム対応は気難しいということはない」ということは真実だ fact14: その山王祭は平べったくない fact15: あの独立宣言は平べったくない fact16: なにがしかのものは平べったい fact17: もしとあるものは平べったいとすると「それは焦れったくないししかもそれは気難しくない」ということは嘘だ fact18: 仮に何らかの物が着座しないし更にそれが女偏でないとすればそれは近寄り難いということはない fact19: その山王祭は保障すらない ; $hypothesis$ = 「その山王祭は焦れったい」ということは正しい ; $proof$ = 
fact16 & fact11 -> int1: その山王祭は気難しいということはないしそれは潔しということはない; fact1 -> int2: 仮にその山王祭は気難しくないしまた潔しということはないとすればそれは焦れったいということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかのものが気難しくないし潔しないならそれは焦れったくない
事実2: もしその山王祭が気難しくないがそれが潔しならそれは焦れったくない
事実3: もしもこの東遷が配慮しないがしかしそれが切れ易いとすればそれは焦れったくない
事実4: 「気難しい」ものがあるならばあの山王祭は上接しない
事実5: もし仮に切り離し難くないものはナノチューブ固有でないとしたら白くない
事実6: もしも「この複数台は焦れったくなくて気難しくない」ということは嘘だとしたら「その山王祭は焦れったい」ということは事実だ
事実7: もし何かは駆け回らないし命令しないとしたら陰気臭くない
事実8: もし仮に「得られ難い」物があるとするとこの三十六人は悲しくないしさらに潔しない
事実9: もしもなんらかの物は五巻本であるならば「その山王祭は麗しくない」ということは成り立つ
事実10: なんらかの物が就航しないしまたそれはグレースケール画像でないとするとそれは資本主義企業でない
事実11: 「平べったい」物があるとすればその山王祭は気難しくないし更に潔しない
事実12: あるものは止めど無い
事実13: 「あのクレーム対応は気難しいということはない」ということは真実だ
事実14: その山王祭は平べったくない
事実15: あの独立宣言は平べったくない
事実16: なにがしかのものは平べったい
事実17: もしとあるものは平べったいとすると「それは焦れったくないししかもそれは気難しくない」ということは嘘だ
事実18: 仮に何らかの物が着座しないし更にそれが女偏でないとすればそれは近寄り難いということはない
事実19: その山王祭は保障すらない

仮説: 「その山王祭は焦れったい」ということは正しい
1. 事実16と事実11から、推論1: "その山王祭は気難しいということはないしそれは潔しということはない"が導かれる
2. 事実1から、推論2: "仮にその山王祭は気難しくないしまた潔しということはないとすればそれは焦れったいということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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