その捕虜は恥ずかし
fact1: 仮になんらかの物は会計分離であるとしたら「それは当たり方である」ということは事実と異ならない fact2: その西洋近代は掴み易い fact3: 「その西洋近代は地対財特法でないかあるいはそれは掴み易くないかあるいは両方である」ということは間違っている fact4: もし仮に「なんらかの物は聞こえ難くないけれど当たり方である」ということは成り立たないとしたら当たり方でない fact5: 仮に「その西洋近代は地対財特法でないかあるいは掴み易いか両方である」ということは成り立たないとすると透かない fact6: もしも「何らかのものは物惜しみしないししかも透かない」ということは成り立たないならばそれは恥ずかし fact7: もしあるものが庇護するなら会計分離であるかまたは聞こえ難くないかあるいは両方である fact8: もしも「その西洋近代は地対財特法であるということはないかもしくは掴み易いということはない」ということは誤りだとすると「透かない」ということは正しい fact9: このプロジェクト毎が透くししかも物惜しみするとしたらその捕虜は恥ずかしない fact10: もし仮にその西洋近代は透くということはないとしたら「このプロジェクト毎は物惜しみしない」ということは間違いでない fact11: このプロジェクト毎が恥ずかしないとすればその捕虜は恥ずかしが透かない fact12: もしもなにかは当たり方であるとすると「それは物惜しみしないしその上それは透かない」ということは成り立たない fact13: もしもその西洋近代が透かないならばこのプロジェクト毎は透く一方で物惜しみしない fact14: もしもなにがしかの物が当たり方でないとするとそれは会計分離であるかもしくはそれは透くということはない fact15: このプロジェクト毎は物惜しみするということはない fact16: もしその捕虜は庇護するとすれば「それは聞こえ難くない一方で当たり方だ」ということは成り立たない fact17: もし仮にその西洋近代は恥ずかしとすれば「その捕虜は恥ずかしない」ということは成り立たない fact18: もしもこのプロジェクト毎が透くけれどそれが物惜しみしないならばあの捕虜は恥ずかしない fact19: もし仮にこのプロジェクト毎が透かないとしたらその西洋近代は物惜しみしない fact20: このプロジェクト毎は控訴人等であるしかつそれは庇護する
fact8 & fact3 -> int1: その西洋近代は透かない; int1 & fact13 -> int2: このプロジェクト毎は透くけれど物惜しみしない; int2 & fact18 -> hypothesis;
その捕虜は恥ずかし
fact25 -> int3: もし仮に「その西洋近代は物惜しみしないしかつ透かない」ということは嘘であるとしたらそれは恥ずかし; fact24 -> int4: もしもその西洋近代は当たり方であるならば「物惜しみするということはなくてそれに透かない」ということは間違いである; fact23 -> int5: 仮にその西洋近代は会計分離であるとしたら当たり方である; fact22 -> int6: このプロジェクト毎が庇護すればそれは会計分離であるかあるいはそれは聞こえ難いということはないかまたは両方だ; fact21 -> int7: このプロジェクト毎は庇護する; int6 & int7 -> int8: このプロジェクト毎は会計分離であるかもしくは聞こえ難くないかもしくはどちらもである;
$facts$ = fact1: 仮になんらかの物は会計分離であるとしたら「それは当たり方である」ということは事実と異ならない fact2: その西洋近代は掴み易い fact3: 「その西洋近代は地対財特法でないかあるいはそれは掴み易くないかあるいは両方である」ということは間違っている fact4: もし仮に「なんらかの物は聞こえ難くないけれど当たり方である」ということは成り立たないとしたら当たり方でない fact5: 仮に「その西洋近代は地対財特法でないかあるいは掴み易いか両方である」ということは成り立たないとすると透かない fact6: もしも「何らかのものは物惜しみしないししかも透かない」ということは成り立たないならばそれは恥ずかし fact7: もしあるものが庇護するなら会計分離であるかまたは聞こえ難くないかあるいは両方である fact8: もしも「その西洋近代は地対財特法であるということはないかもしくは掴み易いということはない」ということは誤りだとすると「透かない」ということは正しい fact9: このプロジェクト毎が透くししかも物惜しみするとしたらその捕虜は恥ずかしない fact10: もし仮にその西洋近代は透くということはないとしたら「このプロジェクト毎は物惜しみしない」ということは間違いでない fact11: このプロジェクト毎が恥ずかしないとすればその捕虜は恥ずかしが透かない fact12: もしもなにかは当たり方であるとすると「それは物惜しみしないしその上それは透かない」ということは成り立たない fact13: もしもその西洋近代が透かないならばこのプロジェクト毎は透く一方で物惜しみしない fact14: もしもなにがしかの物が当たり方でないとするとそれは会計分離であるかもしくはそれは透くということはない fact15: このプロジェクト毎は物惜しみするということはない fact16: もしその捕虜は庇護するとすれば「それは聞こえ難くない一方で当たり方だ」ということは成り立たない fact17: もし仮にその西洋近代は恥ずかしとすれば「その捕虜は恥ずかしない」ということは成り立たない fact18: もしもこのプロジェクト毎が透くけれどそれが物惜しみしないならばあの捕虜は恥ずかしない fact19: もし仮にこのプロジェクト毎が透かないとしたらその西洋近代は物惜しみしない fact20: このプロジェクト毎は控訴人等であるしかつそれは庇護する ; $hypothesis$ = その捕虜は恥ずかし ; $proof$ = 
fact8 & fact3 -> int1: その西洋近代は透かない; int1 & fact13 -> int2: このプロジェクト毎は透くけれど物惜しみしない; int2 & fact18 -> hypothesis; __DISPROVED__
事実1: 仮になんらかの物は会計分離であるとしたら「それは当たり方である」ということは事実と異ならない
事実2: その西洋近代は掴み易い
事実3: 「その西洋近代は地対財特法でないかあるいはそれは掴み易くないかあるいは両方である」ということは間違っている
事実4: もし仮に「なんらかの物は聞こえ難くないけれど当たり方である」ということは成り立たないとしたら当たり方でない
事実5: 仮に「その西洋近代は地対財特法でないかあるいは掴み易いか両方である」ということは成り立たないとすると透かない
事実6: もしも「何らかのものは物惜しみしないししかも透かない」ということは成り立たないならばそれは恥ずかし
事実7: もしあるものが庇護するなら会計分離であるかまたは聞こえ難くないかあるいは両方である
事実8: もしも「その西洋近代は地対財特法であるということはないかもしくは掴み易いということはない」ということは誤りだとすると「透かない」ということは正しい
事実9: このプロジェクト毎が透くししかも物惜しみするとしたらその捕虜は恥ずかしない
事実10: もし仮にその西洋近代は透くということはないとしたら「このプロジェクト毎は物惜しみしない」ということは間違いでない
事実11: このプロジェクト毎が恥ずかしないとすればその捕虜は恥ずかしが透かない
事実12: もしもなにかは当たり方であるとすると「それは物惜しみしないしその上それは透かない」ということは成り立たない
事実13: もしもその西洋近代が透かないならばこのプロジェクト毎は透く一方で物惜しみしない
事実14: もしもなにがしかの物が当たり方でないとするとそれは会計分離であるかもしくはそれは透くということはない
事実15: このプロジェクト毎は物惜しみするということはない
事実16: もしその捕虜は庇護するとすれば「それは聞こえ難くない一方で当たり方だ」ということは成り立たない
事実17: もし仮にその西洋近代は恥ずかしとすれば「その捕虜は恥ずかしない」ということは成り立たない
事実18: もしもこのプロジェクト毎が透くけれどそれが物惜しみしないならばあの捕虜は恥ずかしない
事実19: もし仮にこのプロジェクト毎が透かないとしたらその西洋近代は物惜しみしない
事実20: このプロジェクト毎は控訴人等であるしかつそれは庇護する

仮説: その捕虜は恥ずかし
1. 事実8と事実3から、推論1: "その西洋近代は透かない"が導かれる
2. 推論1と事実13から、推論2: "このプロジェクト毎は透くけれど物惜しみしない"が導かれる
3. 推論2と事実18から、仮説が否定される

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