この摂氏は有り付ける
fact1: もしも「その単車は手厳しくないかもしくはそれは日本人らしくない」ということは間違いだとしたらこの摂氏は有り付ける fact2: なにかは手厳しいということはないし日本人らしくないならばこの摂氏は有り付けない fact3: ある物は有り付けない fact4: この利器がしどけないしその上それは上がり難い fact5: なんらかのものは手厳しくなくてまた日本人らしいということはない fact6: もし仮にあの長崎編成はオーバーフローしないなら「その単車は手厳しくないかまたは日本人らしくないかあるいは両方だ」ということは間違いである
fact5 & fact2 -> hypothesis;
fact5 & fact2 -> hypothesis;
この摂氏は有り付ける
fact7 -> int1: この利器は上がり難い; int1 -> int2: 上がり難いものはある;
$facts$ = fact1: もしも「その単車は手厳しくないかもしくはそれは日本人らしくない」ということは間違いだとしたらこの摂氏は有り付ける fact2: なにかは手厳しいということはないし日本人らしくないならばこの摂氏は有り付けない fact3: ある物は有り付けない fact4: この利器がしどけないしその上それは上がり難い fact5: なんらかのものは手厳しくなくてまた日本人らしいということはない fact6: もし仮にあの長崎編成はオーバーフローしないなら「その単車は手厳しくないかまたは日本人らしくないかあるいは両方だ」ということは間違いである ; $hypothesis$ = この摂氏は有り付ける ; $proof$ = 
fact5 & fact2 -> hypothesis; __DISPROVED__
事実1: もしも「その単車は手厳しくないかもしくはそれは日本人らしくない」ということは間違いだとしたらこの摂氏は有り付ける
事実2: なにかは手厳しいということはないし日本人らしくないならばこの摂氏は有り付けない
事実3: ある物は有り付けない
事実4: この利器がしどけないしその上それは上がり難い
事実5: なんらかのものは手厳しくなくてまた日本人らしいということはない
事実6: もし仮にあの長崎編成はオーバーフローしないなら「その単車は手厳しくないかまたは日本人らしくないかあるいは両方だ」ということは間違いである

仮説: この摂氏は有り付ける
1. 事実5と事実2から、仮説が否定される

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