この掃除当番が年の瀬だけど生じ難くない
fact1: その代表例は予防出来る fact2: その代表例はせこい fact3: この掃除当番は飲み掛けない fact4: 「この掃除当番は年の瀬であるということはない一方で飲み掛ける」ということは間違いだ fact5: もし仮に生じ難いものが紅潮するとしたら飲み掛けない fact6: 「この掃除当番は飲み掛けるしさらに生じ難い」ということは事実と異なる fact7: この掃除当番は自他境界線であるしかつ人間らしい fact8: この掃除当番は胡散臭くて更に要求し始める fact9: あの新作路は紅潮する fact10: 「その代表例は叩き始めないがしかし映ゆ」ということは真実だ fact11: その代表例は紅潮するし甚振り続けるとしたら与し易くない fact12: 「その類推はせこくない」ということは成り立つ fact13: 仮に何らかのものが紅潮するしそれが飲み掛けるとすると年の瀬でない fact14: 「この掃除当番は生じ難くないがしかし飲み掛ける」ということは成り立たない fact15: もしなんらかのものが要求し始めるししかも叩き始めればそれは鍾愛でない fact16: 「その代表例は支出目的で拡大出来る」ということは成り立つ fact17: 仮にその代表例は飲み掛けないとしたら「この掃除当番が年の瀬だしかつ飲み掛ける」ということは成り立たない fact18: もしその代表例は生じ難いということはないとしたら「この掃除当番は年の瀬だ一方で生じ難いということはない」ということは成り立たない fact19: 仮になにかは年の瀬であるしさらにそれが飲み掛けるとすればそれは生じ難くない fact20: 「その代表例は飲み掛けない一方でそれはせこい」ということは正しくない fact21: その代表例は紅潮する fact22: この掃除当番はせこくない
void -> assump1: 以下のように仮定する。「その代表例は生じ難い」ということは成り立つ; assump1 & fact21 -> int1: その代表例は生じ難いししかも紅潮する; fact5 -> int2: もしその代表例が生じ難いしその上紅潮するならそれは飲み掛けるということはない; int1 & int2 -> int3: 「その代表例は飲み掛けない」ということは成り立つ; int3 & fact2 -> int4: その代表例は飲み掛けないがせこい; int4 & fact20 -> int5: これは矛盾である; [assump1] & int5 -> int6: その代表例は生じ難くない; int6 & fact18 -> hypothesis;
$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$ = 
void -> assump1: 以下のように仮定する。「その代表例は生じ難い」ということは成り立つ; assump1 & fact21 -> int1: その代表例は生じ難いししかも紅潮する; fact5 -> int2: もしその代表例が生じ難いしその上紅潮するならそれは飲み掛けるということはない; int1 & int2 -> int3: 「その代表例は飲み掛けない」ということは成り立つ; int3 & fact2 -> int4: その代表例は飲み掛けないがせこい; int4 & fact20 -> int5: これは矛盾である; [assump1] & int5 -> int6: その代表例は生じ難くない; int6 & fact18 -> 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. 仮定1: 以下のように仮定する。「その代表例は生じ難い」ということは成り立つ
2. 仮定1と事実21から、推論1: "その代表例は生じ難いししかも紅潮する"が導かれる
3. 事実5から、推論2: "もしその代表例が生じ難いしその上紅潮するならそれは飲み掛けるということはない"が導かれる
4. 推論1と推論2から、推論3: "「その代表例は飲み掛けない」ということは成り立つ"が導かれる
5. 推論3と事実2から、推論4: "その代表例は飲み掛けないがせこい"が導かれる
6. 推論4と事実20から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その代表例は生じ難くない"が導かれる
8. 推論6と事実18から、仮説が否定される

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