「なんらかの物は慢心でない」ということは事実と異なる
fact1: もしもこの壁材が表出するし庇護するならその交通関係は慢心でない fact2: この壁材は表出する fact3: この昇順は庇護する fact4: 「慢心な」ものはある fact5: この壁材は庇護する fact6: この中間利息は表出する
fact2 & fact5 -> int1: この壁材は表出するしおまけに庇護する; int1 & fact1 -> int2: その交通関係は慢心でない; int2 -> hypothesis;
$facts$ = fact1: もしもこの壁材が表出するし庇護するならその交通関係は慢心でない fact2: この壁材は表出する fact3: この昇順は庇護する fact4: 「慢心な」ものはある fact5: この壁材は庇護する fact6: この中間利息は表出する ; $hypothesis$ = 「なんらかの物は慢心でない」ということは事実と異なる ; $proof$ = 
fact2 & fact5 -> int1: この壁材は表出するしおまけに庇護する; int1 & fact1 -> int2: その交通関係は慢心でない; int2 -> hypothesis; __DISPROVED__
事実1: もしもこの壁材が表出するし庇護するならその交通関係は慢心でない
事実2: この壁材は表出する
事実3: この昇順は庇護する
事実4: 「慢心な」ものはある
事実5: この壁材は庇護する
事実6: この中間利息は表出する

仮説: 「なんらかの物は慢心でない」ということは事実と異なる
1. 事実2と事実5から、推論1: "この壁材は表出するしおまけに庇護する"が導かれる
2. 推論1と事実1から、推論2: "その交通関係は慢心でない"が導かれる
3. 推論2から、仮説が否定される

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