「この琺瑯は待ち遠しいかまたは死に掛けるかあるいは両方ともである」ということは事実と異なる
fact1: この琺瑯は待ち遠しいかあるいは近付き難い fact2: 仮に「この勝負毎は近付き難くてかつ御掃除する」ということは事実であるならばこの琺瑯は死に掛ける fact3: もしもなにかは二十二日生まれでないとしたら「それは即応出来るかもしくは橋口組であるということはないかもしくは両方である」ということは誤りであるということはない fact4: もしもなんらかの物が即応出来るかまたはそれが橋口組でないならあの多重曲線は推断しない fact5: もし何らかの物が全額保護しないとすれば反り返るしその上二十二日生まれでない fact6: もし仮にこの勝負毎が近付き難い一方で御掃除しないならばこの琺瑯は死に掛ける fact7: すべての物は全額保護しない fact8: この十手持ちはロシア正教でない fact9: もしもこの十手持ちがロシア正教だということはないとすればこの勝負毎は御掃除するということはない fact10: この建築工事等はたわいないが人らしくない fact11: もし仮に「あの多重曲線はニュメレールである」ということは成り立つならこの勝負毎は固くない fact12: 仮になんらかの物が死に掛けるかもしくはそれはロシア正教であるということはないならば送達する fact13: もし仮にとある物が推断しないとすると固いかまたはニュメレールであるかあるいは両方ともである fact14: もし仮に「この十手持ちはロシア正教でない」ということは成り立つとするとこの勝負毎は近付き難い一方で御掃除しない fact15: もし仮に「「費消するかもしくはエイトでない」ということは成り立つということはない」ものがあるとするとこの琺瑯はロシア正教でない fact16: この健脳栄養素は待ち遠しい fact17: この勝負毎は見られ易いがそれは尋ね掛けない fact18: 「この勝負毎は御掃除しない」ということは成り立つ fact19: もしもこの勝負毎は待ち遠しくないとすると「この琺瑯は死に掛けるけど近付き難くない」ということは真実だ fact20: この勝負毎は木目細かい fact21: もしもなんらかの物はロシア正教でないとすれば「待ち遠しいかあるいは死に掛けるか両方だ」ということは事実だということはない fact22: もしあの多重曲線が固いとしたらこの勝負毎は固くない
fact14 & fact8 -> int1: この勝負毎は近付き難い一方で御掃除するということはない; int1 & fact6 -> int2: この琺瑯は死に掛ける; int2 -> hypothesis;
fact14 & fact8 -> int1: ({AA}{b} & ¬{AB}{b}); int1 & fact6 -> int2: {B}{c}; int2 -> hypothesis;
「「この琺瑯は待ち遠しいかまたは死に掛けるかあるいはどちらもだ」ということは本当だ」ということは本当でない
fact24 -> int3: もし仮に「この琺瑯はロシア正教であるということはない」ということは成り立てば「それは待ち遠しいか死に掛ける」ということは誤りだ; fact30 -> int4: 仮にこの躯体工事が二十二日生まれだということはないとしたら即応出来るかあるいは橋口組でないか両方である; fact27 -> int5: 仮に「その残党狩りは全額保護しない」ということは正しいならそれは反り返るけど二十二日生まれでない; fact28 -> int6: その残党狩りは全額保護するということはない; int5 & int6 -> int7: その残党狩りは反り返るけれど二十二日生まれでない; int7 -> int8: すべてのものは反り返るしさらにそれは二十二日生まれでない; int8 -> int9: あの割れは反り返るけどそれは二十二日生まれだということはない; int9 -> int10: あの割れは二十二日生まれだということはない; int10 -> int11: あらゆるものは二十二日生まれでない; int11 -> int12: この躯体工事は二十二日生まれでない; int4 & int12 -> int13: この躯体工事は即応出来るかあるいは橋口組でないかあるいはどちらもだ; int13 -> int14: 「即応出来るかもしくは橋口組でない」ものはある; int14 & fact23 -> int15: あの多重曲線は推断しない; fact26 -> int16: もしも「あの多重曲線は推断しない」ということは間違いでないとするとそれは固いかあるいはニュメレールであるかまたは両方ともである; int15 & int16 -> int17: あの多重曲線は固いかもしくはニュメレールだ; fact31 & int17 & fact25 -> int18: この勝負毎は固いということはない;
$facts$ = fact1: この琺瑯は待ち遠しいかあるいは近付き難い fact2: 仮に「この勝負毎は近付き難くてかつ御掃除する」ということは事実であるならばこの琺瑯は死に掛ける fact3: もしもなにかは二十二日生まれでないとしたら「それは即応出来るかもしくは橋口組であるということはないかもしくは両方である」ということは誤りであるということはない fact4: もしもなんらかの物が即応出来るかまたはそれが橋口組でないならあの多重曲線は推断しない fact5: もし何らかの物が全額保護しないとすれば反り返るしその上二十二日生まれでない fact6: もし仮にこの勝負毎が近付き難い一方で御掃除しないならばこの琺瑯は死に掛ける fact7: すべての物は全額保護しない fact8: この十手持ちはロシア正教でない fact9: もしもこの十手持ちがロシア正教だということはないとすればこの勝負毎は御掃除するということはない fact10: この建築工事等はたわいないが人らしくない fact11: もし仮に「あの多重曲線はニュメレールである」ということは成り立つならこの勝負毎は固くない fact12: 仮になんらかの物が死に掛けるかもしくはそれはロシア正教であるということはないならば送達する fact13: もし仮にとある物が推断しないとすると固いかまたはニュメレールであるかあるいは両方ともである fact14: もし仮に「この十手持ちはロシア正教でない」ということは成り立つとするとこの勝負毎は近付き難い一方で御掃除しない fact15: もし仮に「「費消するかもしくはエイトでない」ということは成り立つということはない」ものがあるとするとこの琺瑯はロシア正教でない fact16: この健脳栄養素は待ち遠しい fact17: この勝負毎は見られ易いがそれは尋ね掛けない fact18: 「この勝負毎は御掃除しない」ということは成り立つ fact19: もしもこの勝負毎は待ち遠しくないとすると「この琺瑯は死に掛けるけど近付き難くない」ということは真実だ fact20: この勝負毎は木目細かい fact21: もしもなんらかの物はロシア正教でないとすれば「待ち遠しいかあるいは死に掛けるか両方だ」ということは事実だということはない fact22: もしあの多重曲線が固いとしたらこの勝負毎は固くない ; $hypothesis$ = 「この琺瑯は待ち遠しいかまたは死に掛けるかあるいは両方ともである」ということは事実と異なる ; $proof$ = 
fact14 & fact8 -> int1: この勝負毎は近付き難い一方で御掃除するということはない; int1 & fact6 -> int2: この琺瑯は死に掛ける; int2 -> hypothesis; __DISPROVED__
事実1: この琺瑯は待ち遠しいかあるいは近付き難い
事実2: 仮に「この勝負毎は近付き難くてかつ御掃除する」ということは事実であるならばこの琺瑯は死に掛ける
事実3: もしもなにかは二十二日生まれでないとしたら「それは即応出来るかもしくは橋口組であるということはないかもしくは両方である」ということは誤りであるということはない
事実4: もしもなんらかの物が即応出来るかまたはそれが橋口組でないならあの多重曲線は推断しない
事実5: もし何らかの物が全額保護しないとすれば反り返るしその上二十二日生まれでない
事実6: もし仮にこの勝負毎が近付き難い一方で御掃除しないならばこの琺瑯は死に掛ける
事実7: すべての物は全額保護しない
事実8: この十手持ちはロシア正教でない
事実9: もしもこの十手持ちがロシア正教だということはないとすればこの勝負毎は御掃除するということはない
事実10: この建築工事等はたわいないが人らしくない
事実11: もし仮に「あの多重曲線はニュメレールである」ということは成り立つならこの勝負毎は固くない
事実12: 仮になんらかの物が死に掛けるかもしくはそれはロシア正教であるということはないならば送達する
事実13: もし仮にとある物が推断しないとすると固いかまたはニュメレールであるかあるいは両方ともである
事実14: もし仮に「この十手持ちはロシア正教でない」ということは成り立つとするとこの勝負毎は近付き難い一方で御掃除しない
事実15: もし仮に「「費消するかもしくはエイトでない」ということは成り立つということはない」ものがあるとするとこの琺瑯はロシア正教でない
事実16: この健脳栄養素は待ち遠しい
事実17: この勝負毎は見られ易いがそれは尋ね掛けない
事実18: 「この勝負毎は御掃除しない」ということは成り立つ
事実19: もしもこの勝負毎は待ち遠しくないとすると「この琺瑯は死に掛けるけど近付き難くない」ということは真実だ
事実20: この勝負毎は木目細かい
事実21: もしもなんらかの物はロシア正教でないとすれば「待ち遠しいかあるいは死に掛けるか両方だ」ということは事実だということはない
事実22: もしあの多重曲線が固いとしたらこの勝負毎は固くない

仮説: 「この琺瑯は待ち遠しいかまたは死に掛けるかあるいは両方ともである」ということは事実と異なる
1. 事実14と事実8から、推論1: "この勝負毎は近付き難い一方で御掃除するということはない"が導かれる
2. 推論1と事実6から、推論2: "この琺瑯は死に掛ける"が導かれる
3. 推論2から、仮説が否定される

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