「「「青黒い」ということは事実と異ならない」物はある」ということは事実と異なる
fact1: この自立システムは責任実習であるしそれは有り難さだ fact2: なにかは長信銀である fact3: この退陣は権利行使する fact4: 「この退陣は同封致すししかも青黒い」ということは真実だ fact5: 「あのアスコルビナーゼは同封致す」ということは成り立つ fact6: その余談は同封致す fact7: その臨床心理士は同封致す fact8: 青黒いということはない物は入れ易いし同封致す fact9: この退陣は省ける
fact4 -> int1: この退陣は青黒い; int1 -> hypothesis;
fact4 -> int1: {B}{a}; int1 -> hypothesis;
「入れ易い」ものはある
fact10 -> int2: もし仮にこの退陣が青黒くないならそれは入れ易くて同封致す;
$facts$ = fact1: この自立システムは責任実習であるしそれは有り難さだ fact2: なにかは長信銀である fact3: この退陣は権利行使する fact4: 「この退陣は同封致すししかも青黒い」ということは真実だ fact5: 「あのアスコルビナーゼは同封致す」ということは成り立つ fact6: その余談は同封致す fact7: その臨床心理士は同封致す fact8: 青黒いということはない物は入れ易いし同封致す fact9: この退陣は省ける ; $hypothesis$ = 「「「青黒い」ということは事実と異ならない」物はある」ということは事実と異なる ; $proof$ = 
fact4 -> int1: この退陣は青黒い; int1 -> hypothesis; __DISPROVED__
事実1: この自立システムは責任実習であるしそれは有り難さだ
事実2: なにかは長信銀である
事実3: この退陣は権利行使する
事実4: 「この退陣は同封致すししかも青黒い」ということは真実だ
事実5: 「あのアスコルビナーゼは同封致す」ということは成り立つ
事実6: その余談は同封致す
事実7: その臨床心理士は同封致す
事実8: 青黒いということはない物は入れ易いし同封致す
事実9: この退陣は省ける

仮説: 「「「青黒い」ということは事実と異ならない」物はある」ということは事実と異なる
1. 事実4から、推論1: "この退陣は青黒い"が導かれる
2. 推論1から、仮説が否定される

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