「この機数は程良いかあるいはヴァレンタイン・デーでない」ということは嘘だ
fact1: その情報活動は申すかもしくはそれは説明し難いかもしくはどちらもだ fact2: 「長持ちする」物はある fact3: 仮にその発達中が困惑気味であるとすればあの搬送路はヴァレンタイン・デーである fact4: もしこの機数が困惑気味であるとしたらその発達中は程良い fact5: もしもその搬送路がヴァレンタイン・デーであるならこの機数は程良いかヴァレンタイン・デーでないか両方ともだ fact6: 仮に「「長持ちする」ということは嘘だということはない」ものがあるならその発達中が御逃げに成るしその上それは困惑気味だ
fact2 & fact6 -> int1: その発達中は御逃げに成るしかつそれは困惑気味だ; int1 -> int2: その発達中は困惑気味である; int2 & fact3 -> int3: その搬送路はヴァレンタイン・デーである; int3 & fact5 -> hypothesis;
$facts$ = fact1: その情報活動は申すかもしくはそれは説明し難いかもしくはどちらもだ fact2: 「長持ちする」物はある fact3: 仮にその発達中が困惑気味であるとすればあの搬送路はヴァレンタイン・デーである fact4: もしこの機数が困惑気味であるとしたらその発達中は程良い fact5: もしもその搬送路がヴァレンタイン・デーであるならこの機数は程良いかヴァレンタイン・デーでないか両方ともだ fact6: 仮に「「長持ちする」ということは嘘だということはない」ものがあるならその発達中が御逃げに成るしその上それは困惑気味だ ; $hypothesis$ = 「この機数は程良いかあるいはヴァレンタイン・デーでない」ということは嘘だ ; $proof$ = 
fact2 & fact6 -> int1: その発達中は御逃げに成るしかつそれは困惑気味だ; int1 -> int2: その発達中は困惑気味である; int2 & fact3 -> int3: その搬送路はヴァレンタイン・デーである; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: その情報活動は申すかもしくはそれは説明し難いかもしくはどちらもだ
事実2: 「長持ちする」物はある
事実3: 仮にその発達中が困惑気味であるとすればあの搬送路はヴァレンタイン・デーである
事実4: もしこの機数が困惑気味であるとしたらその発達中は程良い
事実5: もしもその搬送路がヴァレンタイン・デーであるならこの機数は程良いかヴァレンタイン・デーでないか両方ともだ
事実6: 仮に「「長持ちする」ということは嘘だということはない」ものがあるならその発達中が御逃げに成るしその上それは困惑気味だ

仮説: 「この機数は程良いかあるいはヴァレンタイン・デーでない」ということは嘘だ
1. 事実2と事実6から、推論1: "その発達中は御逃げに成るしかつそれは困惑気味だ"が導かれる
2. 推論1から、推論2: "その発達中は困惑気味である"が導かれる
3. 推論2と事実3から、推論3: "その搬送路はヴァレンタイン・デーである"が導かれる
4. 推論3と事実5から、仮説が否定される

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