その日日は恨みがましかない
fact1: もし仮にこの半角が炭素Ｃだとすればその日日は丸太である fact2: もし「この半角は生え易い」ということは成り立つとすれば「その日日は恨みがましい」ということは真実だ fact3: もしもあの不利は想像付けば「あの食事負荷は炭素Ｃでないし更に商法監査でない」ということは誤りである fact4: あの妹さん達は生え易い fact5: 丸太が恨みはましくらないしかつ生え易くない fact6: この半角は生え易い
fact2 & fact6 -> hypothesis;
fact2 & fact6 -> hypothesis;
その日日は恨みがましかない
fact8 -> int1: もしもその日日は丸太であるならばそれは恨みがましいということはなくて生え易くない;
$facts$ = fact1: もし仮にこの半角が炭素Ｃだとすればその日日は丸太である fact2: もし「この半角は生え易い」ということは成り立つとすれば「その日日は恨みがましい」ということは真実だ fact3: もしもあの不利は想像付けば「あの食事負荷は炭素Ｃでないし更に商法監査でない」ということは誤りである fact4: あの妹さん達は生え易い fact5: 丸太が恨みはましくらないしかつ生え易くない fact6: この半角は生え易い ; $hypothesis$ = その日日は恨みがましかない ; $proof$ = 
fact2 & fact6 -> hypothesis; __DISPROVED__
事実1: もし仮にこの半角が炭素Ｃだとすればその日日は丸太である
事実2: もし「この半角は生え易い」ということは成り立つとすれば「その日日は恨みがましい」ということは真実だ
事実3: もしもあの不利は想像付けば「あの食事負荷は炭素Ｃでないし更に商法監査でない」ということは誤りである
事実4: あの妹さん達は生え易い
事実5: 丸太が恨みはましくらないしかつ生え易くない
事実6: この半角は生え易い

仮説: その日日は恨みがましかない
1. 事実2と事実6から、仮説が否定される

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