その一単位時間は大手行でない
fact1: もしもとある物が洗い流すならそれが番組供給会社だしその上それは却下しない fact2: もしその木枕が羨ましいとしたらあの連隊本部は合一する fact3: その木枕は夫婦らしくないかもしくは罵倒しないかどちらもである fact4: その一単位時間はビデオＤＡＣでなくてその上し易いということはない fact5: あの連隊本部は合い難くない fact6: あの事業再編は大手行だ fact7: その一単位時間が本土防衛でないし大手行でないとしたらあの連隊本部は訳さない fact8: もしなんらかの物がそわそわするということはないとすればルール化するしさらに羨ましい fact9: 本土防衛は訳さないし大手行であるということはない fact10: 仮に何らかの物は番組供給会社でないならばそれは本土防衛であるしその上却下する fact11: あの連隊本部は合一するし洗い流すなら「それは番組供給会社でない」ということは成り立つ fact12: あの連隊本部は合一するし羨ましい fact13: あの連隊本部は大手行でない fact14: もし「あの連隊本部は合一する」ということは成り立つとすればその一単位時間は洗い流す fact15: 仮に何らかのものが番組供給会社だけど却下しないならその後続は訳さない fact16: その一単位時間は本土防衛でない fact17: もしもあの連隊本部は訳すということはないし加えて大手行でないとすれば「その一単位時間は大手行だ」ということは成り立つということはない fact18: あの支払い時期は訳さないし更にでっかくない fact19: なんらかのものは学習院であるとすれば洗い流す fact20: 「あの連隊本部は本土防衛でない」ということは成り立つ fact21: あの連隊本部は訳す fact22: その木枕が夫婦らしくないかまたは罵倒しないとすればそわそわしない fact23: その真理ちゃんは訳す
void -> assump1: 以下のように仮定する。その一単位時間は大手行でない; fact16 & assump1 -> int1: 「その一単位時間は本土防衛でなくてそれは大手行だということはない」ということは成り立つ; int1 & fact7 -> int2: あの連隊本部は訳さない; int2 & fact21 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その後続は本土防衛だ
fact26 -> int4: 「もしその一単位時間が洗い流すならその一単位時間は番組供給会社だ一方で却下しない」ということは偽でない; fact27 -> int5: あの連隊本部は合一する; fact25 & int5 -> int6: その一単位時間は洗い流す; int4 & int6 -> int7: その一単位時間は番組供給会社であるけどそれは却下しない; int7 -> int8: あるものが番組供給会社だけどそれは却下しない; int8 & fact24 -> 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: その真理ちゃんは訳す ; $hypothesis$ = その一単位時間は大手行でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その一単位時間は大手行でない; fact16 & assump1 -> int1: 「その一単位時間は本土防衛でなくてそれは大手行だということはない」ということは成り立つ; int1 & fact7 -> int2: あの連隊本部は訳さない; int2 & fact21 -> int3: これは矛盾である; [assump1] & int3 -> 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: その真理ちゃんは訳す

仮説: その一単位時間は大手行でない
1. 仮定1: 以下のように仮定する。その一単位時間は大手行でない
2. 事実16と仮定1から、推論1: "「その一単位時間は本土防衛でなくてそれは大手行だということはない」ということは成り立つ"が導かれる
3. 推論1と事実7から、推論2: "あの連隊本部は訳さない"が導かれる
4. 推論2と事実21から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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