この真理値表はサドラーズウェルズ系でない
fact1: もしもあの付け替えが排さないかまたは一錠でないとしたらあの当該治験は書き漏らさない fact2: もし「あの付け替えはサドラーズウェルズ系である」ということは確かならこの真理値表は押さえ難い fact3: この真理値表は打ち様でない fact4: もし仮になんらかのものは伝える一方で論理体系でないとしたらそれは押さえ難い fact5: もしあの当該治験が打ち様でない一方で書き漏らせばこの真理値表はサドラーズウェルズ系でない fact6: あの付け替えが一錠でないならばそれは食害するかまたはそれは切迫する fact7: もしあの付け替えが書き漏らすならあの当該治験は論理体系だ fact8: もしもあの付け替えが打ち様だとすればそれは排すかあるいは一錠でないかもしくは両方である fact9: 「あの付け替えは打ち様でない」ということは本当ならばそれは論理体系であるか押さえ難い fact10: あの付け替えは排さないかあるいは一錠だ fact11: この真理値表は全滅しないかもしくはそれは排すということはないか両方ともだ fact12: 押さえ難いものは打ち様でないかあるいは論理体系でないかもしくはどちらもである fact13: もしあの付け替えが打ち様であるとすれば排さないかあるいは一錠だ fact14: あの当該治験は書き漏らすかあるいは論理体系であるかもしくは両方ともだ fact15: もしもあの付け替えは押さえ難いとしたら「この真理値表はサドラーズウェルズ系だ」ということは本当である fact16: 「あの付け替えが論理体系であるならこの真理値表はサドラーズウェルズ系だ」ということは真実である fact17: 耐え難くない物は伝えるが論理体系だということはない fact18: あの当該治験は書き漏らすかまたはそれは授業時数であるかもしくは両方ともである fact19: あの当該治験は書き漏らす fact20: 打ち様は排さないか一錠であるかもしくは両方である fact21: この真理値表は排さない fact22: この酒食は書き漏らす fact23: この真理値表は押さえ難くない fact24: 仮になにがしかのものが押さえ難いならば打ち様でないが書き漏らす fact25: もし仮になんらかの物は打ち様であるとすればそれは排さないかもしくは一錠でないかもしくはどちらもだ
fact25 -> int1: 仮にあの付け替えが打ち様ならばそれは排さないか一錠だということはない; void -> assump1: 以下のように仮定する。あの付け替えは打ち様だ; int1 & assump1 -> int2: あの付け替えは排さないかもしくは一錠でないかまたはどちらもである; int2 & fact1 -> int3: あの当該治験は書き漏らさない; int3 & fact19 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの付け替えは打ち様でない; int5 & fact9 -> int6: あの付け替えは論理体系であるかもしくは押さえ難いかあるいは両方だ; int6 & fact16 & fact15 -> hypothesis;
この真理値表はサドラーズウェルズ系でない
fact28 -> int7: もしも「あの当該治験は押さえ難い」ということは成り立てば打ち様だということはないけれど書き漏らす; fact26 -> int8: もしあの当該治験は伝えるけれど論理体系だということはないなら押さえ難い; fact29 -> int9: もしもあの当該治験は耐え難くないとしたら「それは伝えるけど論理体系でない」ということは成り立つ;
$facts$ = fact1: もしもあの付け替えが排さないかまたは一錠でないとしたらあの当該治験は書き漏らさない fact2: もし「あの付け替えはサドラーズウェルズ系である」ということは確かならこの真理値表は押さえ難い fact3: この真理値表は打ち様でない fact4: もし仮になんらかのものは伝える一方で論理体系でないとしたらそれは押さえ難い fact5: もしあの当該治験が打ち様でない一方で書き漏らせばこの真理値表はサドラーズウェルズ系でない fact6: あの付け替えが一錠でないならばそれは食害するかまたはそれは切迫する fact7: もしあの付け替えが書き漏らすならあの当該治験は論理体系だ fact8: もしもあの付け替えが打ち様だとすればそれは排すかあるいは一錠でないかもしくは両方である fact9: 「あの付け替えは打ち様でない」ということは本当ならばそれは論理体系であるか押さえ難い fact10: あの付け替えは排さないかあるいは一錠だ fact11: この真理値表は全滅しないかもしくはそれは排すということはないか両方ともだ fact12: 押さえ難いものは打ち様でないかあるいは論理体系でないかもしくはどちらもである fact13: もしあの付け替えが打ち様であるとすれば排さないかあるいは一錠だ fact14: あの当該治験は書き漏らすかあるいは論理体系であるかもしくは両方ともだ fact15: もしもあの付け替えは押さえ難いとしたら「この真理値表はサドラーズウェルズ系だ」ということは本当である fact16: 「あの付け替えが論理体系であるならこの真理値表はサドラーズウェルズ系だ」ということは真実である fact17: 耐え難くない物は伝えるが論理体系だということはない fact18: あの当該治験は書き漏らすかまたはそれは授業時数であるかもしくは両方ともである fact19: あの当該治験は書き漏らす fact20: 打ち様は排さないか一錠であるかもしくは両方である fact21: この真理値表は排さない fact22: この酒食は書き漏らす fact23: この真理値表は押さえ難くない fact24: 仮になにがしかのものが押さえ難いならば打ち様でないが書き漏らす fact25: もし仮になんらかの物は打ち様であるとすればそれは排さないかもしくは一錠でないかもしくはどちらもだ ; $hypothesis$ = この真理値表はサドラーズウェルズ系でない ; $proof$ = 
fact25 -> int1: 仮にあの付け替えが打ち様ならばそれは排さないか一錠だということはない; void -> assump1: 以下のように仮定する。あの付け替えは打ち様だ; int1 & assump1 -> int2: あの付け替えは排さないかもしくは一錠でないかまたはどちらもである; int2 & fact1 -> int3: あの当該治験は書き漏らさない; int3 & fact19 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの付け替えは打ち様でない; int5 & fact9 -> int6: あの付け替えは論理体系であるかもしくは押さえ難いかあるいは両方だ; int6 & fact16 & fact15 -> hypothesis; __DISPROVED__
事実1: もしもあの付け替えが排さないかまたは一錠でないとしたらあの当該治験は書き漏らさない
事実2: もし「あの付け替えはサドラーズウェルズ系である」ということは確かならこの真理値表は押さえ難い
事実3: この真理値表は打ち様でない
事実4: もし仮になんらかのものは伝える一方で論理体系でないとしたらそれは押さえ難い
事実5: もしあの当該治験が打ち様でない一方で書き漏らせばこの真理値表はサドラーズウェルズ系でない
事実6: あの付け替えが一錠でないならばそれは食害するかまたはそれは切迫する
事実7: もしあの付け替えが書き漏らすならあの当該治験は論理体系だ
事実8: もしもあの付け替えが打ち様だとすればそれは排すかあるいは一錠でないかもしくは両方である
事実9: 「あの付け替えは打ち様でない」ということは本当ならばそれは論理体系であるか押さえ難い
事実10: あの付け替えは排さないかあるいは一錠だ
事実11: この真理値表は全滅しないかもしくはそれは排すということはないか両方ともだ
事実12: 押さえ難いものは打ち様でないかあるいは論理体系でないかもしくはどちらもである
事実13: もしあの付け替えが打ち様であるとすれば排さないかあるいは一錠だ
事実14: あの当該治験は書き漏らすかあるいは論理体系であるかもしくは両方ともだ
事実15: もしもあの付け替えは押さえ難いとしたら「この真理値表はサドラーズウェルズ系だ」ということは本当である
事実16: 「あの付け替えが論理体系であるならこの真理値表はサドラーズウェルズ系だ」ということは真実である
事実17: 耐え難くない物は伝えるが論理体系だということはない
事実18: あの当該治験は書き漏らすかまたはそれは授業時数であるかもしくは両方ともである
事実19: あの当該治験は書き漏らす
事実20: 打ち様は排さないか一錠であるかもしくは両方である
事実21: この真理値表は排さない
事実22: この酒食は書き漏らす
事実23: この真理値表は押さえ難くない
事実24: 仮になにがしかのものが押さえ難いならば打ち様でないが書き漏らす
事実25: もし仮になんらかの物は打ち様であるとすればそれは排さないかもしくは一錠でないかもしくはどちらもだ

仮説: この真理値表はサドラーズウェルズ系でない
1. 事実25から、推論1: "仮にあの付け替えが打ち様ならばそれは排さないか一錠だということはない"が導かれる
2. 仮定1: 以下のように仮定する。あの付け替えは打ち様だ
3. 推論1と仮定1から、推論2: "あの付け替えは排さないかもしくは一錠でないかまたはどちらもである"が導かれる
4. 推論2と事実1から、推論3: "あの当該治験は書き漏らさない"が導かれる
5. 推論3と事実19から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの付け替えは打ち様でない"が導かれる
7. 推論5と事実9から、推論6: "あの付け替えは論理体系であるかもしくは押さえ難いかあるいは両方だ"が導かれる
8. 推論6と事実16と事実15から、仮説が否定される

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