あのＢＡＳＳは解せらない
fact1: もしもある物は置いてきぼりでないなら「直通出来るし直す」ということは誤っている fact2: この単語レベルは瑞々しくてかつ直す fact3: とある物は直すということはないならば「それは解せるしまたそれは瑞々しい」ということは事実だ fact4: この単語レベルが直すとするとあのＢＡＳＳは解せる fact5: この単語レベルは瑞々しい fact6: この単語レベルが解せるとするとあのＢＡＳＳは解せらない fact7: その複合型マンションは置いてきぼりでないがそれはＰＫ戦である
fact2 -> int1: この単語レベルは直す; int1 & fact4 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact4 -> hypothesis;
あのＢＡＳＳは解せらない
fact8 -> int2: もしもこの単語レベルが直さないとすれば解せるし瑞々しい; fact11 -> int3: もしその複合型マンションは置いてきぼりでないとしたら「直通出来るしその上直す」ということは誤っている; fact9 -> int4: その複合型マンションは置いてきぼりでない; int3 & int4 -> int5: 「その複合型マンションは直通出来るしそれは直す」ということは間違いだ; int5 -> int6: 「「直通出来るし更に直す」ということは確かでない」ものはある;
$facts$ = fact1: もしもある物は置いてきぼりでないなら「直通出来るし直す」ということは誤っている fact2: この単語レベルは瑞々しくてかつ直す fact3: とある物は直すということはないならば「それは解せるしまたそれは瑞々しい」ということは事実だ fact4: この単語レベルが直すとするとあのＢＡＳＳは解せる fact5: この単語レベルは瑞々しい fact6: この単語レベルが解せるとするとあのＢＡＳＳは解せらない fact7: その複合型マンションは置いてきぼりでないがそれはＰＫ戦である ; $hypothesis$ = あのＢＡＳＳは解せらない ; $proof$ = 
fact2 -> int1: この単語レベルは直す; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: もしもある物は置いてきぼりでないなら「直通出来るし直す」ということは誤っている
事実2: この単語レベルは瑞々しくてかつ直す
事実3: とある物は直すということはないならば「それは解せるしまたそれは瑞々しい」ということは事実だ
事実4: この単語レベルが直すとするとあのＢＡＳＳは解せる
事実5: この単語レベルは瑞々しい
事実6: この単語レベルが解せるとするとあのＢＡＳＳは解せらない
事実7: その複合型マンションは置いてきぼりでないがそれはＰＫ戦である

仮説: あのＢＡＳＳは解せらない
1. 事実2から、推論1: "この単語レベルは直す"が導かれる
2. 推論1と事実4から、仮説が否定される

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