「この生身は真新しい」ということは成り立つ
fact1: この生身は燃やすということはない fact2: この着地が弱くないとするとこの生身は真新しいということはない fact3: 「とあるものは弱くないしかつ手続き外でない」ということは事実と異なれば真新しい fact4: この主治は達成し得ないならそれは痛め付けないがしかしタイムコースである fact5: もしも「この主治は若々しかないけれどそれは売り掛け金残高である」ということは間違いであるとすればこの生身は若々しい fact6: あの人工透析治療は真新しくない fact7: この着地は弱くない fact8: この着地が真新しいとするとこの生身は真新しい fact9: もし仮にこの主治が痛め付けるということはないがそれがタイムコースだとすればあの着地は痛め付けない fact10: この主治が生み難くないならば達成し得ない fact11: もし「なんらかの物は生み難い一方でそれはタイムコースであるということはない」ということは事実と異なるとしたらそれは真新しい fact12: この生身は弱くない fact13: 手続き外が真新しいとすればそれは弱くない fact14: もしもなにかは平安時代ならば「「痛め付けるということはないししかも達成し得ない」ということは事実である」ということは確かでない fact15: もし何らかの物は痛め付けないとすると「それは弱くないし更に手続き外でない」ということは間違いだ fact16: この着地は平安時代だ fact17: この着地は埃っぽくない fact18: もしこの生身は若々しいなら「生み難い一方でタイムコースでない」ということは成り立つということはない
fact2 & fact7 -> hypothesis;
fact2 & fact7 -> hypothesis;
この生身は真新しい
fact20 -> int1: もしも「「この着地は弱くないし更に手続き外でない」ということは成り立つ」ということは誤っているとしたらそれは真新しい; fact19 -> int2: もしこの着地は痛め付けないとしたら「それは弱くないししかも手続き外であるということはない」ということは成り立たない;
$facts$ = fact1: この生身は燃やすということはない fact2: この着地が弱くないとするとこの生身は真新しいということはない fact3: 「とあるものは弱くないしかつ手続き外でない」ということは事実と異なれば真新しい fact4: この主治は達成し得ないならそれは痛め付けないがしかしタイムコースである fact5: もしも「この主治は若々しかないけれどそれは売り掛け金残高である」ということは間違いであるとすればこの生身は若々しい fact6: あの人工透析治療は真新しくない fact7: この着地は弱くない fact8: この着地が真新しいとするとこの生身は真新しい fact9: もし仮にこの主治が痛め付けるということはないがそれがタイムコースだとすればあの着地は痛め付けない fact10: この主治が生み難くないならば達成し得ない fact11: もし「なんらかの物は生み難い一方でそれはタイムコースであるということはない」ということは事実と異なるとしたらそれは真新しい fact12: この生身は弱くない fact13: 手続き外が真新しいとすればそれは弱くない fact14: もしもなにかは平安時代ならば「「痛め付けるということはないししかも達成し得ない」ということは事実である」ということは確かでない fact15: もし何らかの物は痛め付けないとすると「それは弱くないし更に手続き外でない」ということは間違いだ fact16: この着地は平安時代だ fact17: この着地は埃っぽくない fact18: もしこの生身は若々しいなら「生み難い一方でタイムコースでない」ということは成り立つということはない ; $hypothesis$ = 「この生身は真新しい」ということは成り立つ ; $proof$ = 
fact2 & fact7 -> hypothesis; __DISPROVED__
事実1: この生身は燃やすということはない
事実2: この着地が弱くないとするとこの生身は真新しいということはない
事実3: 「とあるものは弱くないしかつ手続き外でない」ということは事実と異なれば真新しい
事実4: この主治は達成し得ないならそれは痛め付けないがしかしタイムコースである
事実5: もしも「この主治は若々しかないけれどそれは売り掛け金残高である」ということは間違いであるとすればこの生身は若々しい
事実6: あの人工透析治療は真新しくない
事実7: この着地は弱くない
事実8: この着地が真新しいとするとこの生身は真新しい
事実9: もし仮にこの主治が痛め付けるということはないがそれがタイムコースだとすればあの着地は痛め付けない
事実10: この主治が生み難くないならば達成し得ない
事実11: もし「なんらかの物は生み難い一方でそれはタイムコースであるということはない」ということは事実と異なるとしたらそれは真新しい
事実12: この生身は弱くない
事実13: 手続き外が真新しいとすればそれは弱くない
事実14: もしもなにかは平安時代ならば「「痛め付けるということはないししかも達成し得ない」ということは事実である」ということは確かでない
事実15: もし何らかの物は痛め付けないとすると「それは弱くないし更に手続き外でない」ということは間違いだ
事実16: この着地は平安時代だ
事実17: この着地は埃っぽくない
事実18: もしこの生身は若々しいなら「生み難い一方でタイムコースでない」ということは成り立つということはない

仮説: 「この生身は真新しい」ということは成り立つ
1. 事実2と事実7から、仮説が否定される

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