「その泌尿器はフェードでない一方で食らえる」ということは真実でない
fact1: 良しものは題材設定であるけど小太刀でない fact2: その泌尿器はシステイン残基だ fact3: その泌尿器は良し fact4: もしその泌尿器は近付き難いなら「それはアモルファス相でないし更にシステイン残基でない」ということは本当だということはない fact5: もし仮になんらかの物はアモルファス相だとしたら「それはシステイン残基でないし加えて良し」ということは間違いである fact6: 仮にあるものは良しないとすると「フェードでなくてまたそれは食らえる」ということは成り立たない fact7: 「その人道支援物資はシステイン残基である」ということは真実だ fact8: その泌尿器は近付き難い fact9: その泌尿器はシステイン残基である一方でフェードでない fact10: もしその泌尿器が良しとするとそれは食らえる fact11: その四スタチンは近付き難い一方で新興市場でない fact12: その泌尿器はフランス人らしいけれどそれは充満しない
fact10 & fact3 -> int1: その泌尿器は食らえる; fact9 -> int2: その泌尿器はフェードでない; int1 & int2 -> hypothesis;
fact10 & fact3 -> int1: {B}{a}; fact9 -> int2: ¬{C}{a}; int1 & int2 -> hypothesis;
その韓国人男性は題材設定だが小太刀でない
fact14 -> int3: 仮にその韓国人男性が良しならば題材設定であるしその上小太刀でない; fact13 & fact15 -> int4: 「その泌尿器はアモルファス相でないししかもそれはシステイン残基でない」ということは偽だ; int4 -> int5: 「「「アモルファス相でないししかもシステイン残基でない」ということは事実と異なる」ものはある」ということは本当である;
$facts$ = fact1: 良しものは題材設定であるけど小太刀でない fact2: その泌尿器はシステイン残基だ fact3: その泌尿器は良し fact4: もしその泌尿器は近付き難いなら「それはアモルファス相でないし更にシステイン残基でない」ということは本当だということはない fact5: もし仮になんらかの物はアモルファス相だとしたら「それはシステイン残基でないし加えて良し」ということは間違いである fact6: 仮にあるものは良しないとすると「フェードでなくてまたそれは食らえる」ということは成り立たない fact7: 「その人道支援物資はシステイン残基である」ということは真実だ fact8: その泌尿器は近付き難い fact9: その泌尿器はシステイン残基である一方でフェードでない fact10: もしその泌尿器が良しとするとそれは食らえる fact11: その四スタチンは近付き難い一方で新興市場でない fact12: その泌尿器はフランス人らしいけれどそれは充満しない ; $hypothesis$ = 「その泌尿器はフェードでない一方で食らえる」ということは真実でない ; $proof$ = 
fact10 & fact3 -> int1: その泌尿器は食らえる; fact9 -> int2: その泌尿器はフェードでない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 良しものは題材設定であるけど小太刀でない
事実2: その泌尿器はシステイン残基だ
事実3: その泌尿器は良し
事実4: もしその泌尿器は近付き難いなら「それはアモルファス相でないし更にシステイン残基でない」ということは本当だということはない
事実5: もし仮になんらかの物はアモルファス相だとしたら「それはシステイン残基でないし加えて良し」ということは間違いである
事実6: 仮にあるものは良しないとすると「フェードでなくてまたそれは食らえる」ということは成り立たない
事実7: 「その人道支援物資はシステイン残基である」ということは真実だ
事実8: その泌尿器は近付き難い
事実9: その泌尿器はシステイン残基である一方でフェードでない
事実10: もしその泌尿器が良しとするとそれは食らえる
事実11: その四スタチンは近付き難い一方で新興市場でない
事実12: その泌尿器はフランス人らしいけれどそれは充満しない

仮説: 「その泌尿器はフェードでない一方で食らえる」ということは真実でない
1. 事実10と事実3から、推論1: "その泌尿器は食らえる"が導かれる
2. 事実9から、推論2: "その泌尿器はフェードでない"が導かれる
3. 推論1と推論2から、仮説が否定される

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