この舷側は買い戻さない
fact1: もし仮に何らかの物は信じ為さるししかもレンタルビデオ屋ならそれは糧米でない fact2: この舷側は振り替え制度である fact3: もし仮にこの舷側が贈呈しないとすれば振り替え制度であるし更に買い戻す fact4: もし仮に薄明るい物が下せるとしたら贈呈しない fact5: この舷側は薄明るい fact6: その桜ちゃんは下せる fact7: もしこの舷側は贈呈しないならば「振り替え制度である」ということは正しい fact8: この舷側は下せる
fact5 & fact8 -> int1: この舷側は薄明るいししかも下せる; fact4 -> int2: 仮にこの舷側は薄明るいししかも下せるとすれば贈呈しない; int1 & int2 -> int3: この舷側は贈呈しない; int3 & fact3 -> int4: この舷側は振り替え制度でかつ買い戻す; int4 -> hypothesis;
$facts$ = fact1: もし仮に何らかの物は信じ為さるししかもレンタルビデオ屋ならそれは糧米でない fact2: この舷側は振り替え制度である fact3: もし仮にこの舷側が贈呈しないとすれば振り替え制度であるし更に買い戻す fact4: もし仮に薄明るい物が下せるとしたら贈呈しない fact5: この舷側は薄明るい fact6: その桜ちゃんは下せる fact7: もしこの舷側は贈呈しないならば「振り替え制度である」ということは正しい fact8: この舷側は下せる ; $hypothesis$ = この舷側は買い戻さない ; $proof$ = 
fact5 & fact8 -> int1: この舷側は薄明るいししかも下せる; fact4 -> int2: 仮にこの舷側は薄明るいししかも下せるとすれば贈呈しない; int1 & int2 -> int3: この舷側は贈呈しない; int3 & fact3 -> int4: この舷側は振り替え制度でかつ買い戻す; int4 -> hypothesis; __DISPROVED__
事実1: もし仮に何らかの物は信じ為さるししかもレンタルビデオ屋ならそれは糧米でない
事実2: この舷側は振り替え制度である
事実3: もし仮にこの舷側が贈呈しないとすれば振り替え制度であるし更に買い戻す
事実4: もし仮に薄明るい物が下せるとしたら贈呈しない
事実5: この舷側は薄明るい
事実6: その桜ちゃんは下せる
事実7: もしこの舷側は贈呈しないならば「振り替え制度である」ということは正しい
事実8: この舷側は下せる

仮説: この舷側は買い戻さない
1. 事実5と事実8から、推論1: "この舷側は薄明るいししかも下せる"が導かれる
2. 事実4から、推論2: "仮にこの舷側は薄明るいししかも下せるとすれば贈呈しない"が導かれる
3. 推論1と推論2から、推論3: "この舷側は贈呈しない"が導かれる
4. 推論3と事実3から、推論4: "この舷側は振り替え制度でかつ買い戻す"が導かれる
5. 推論4から、仮説が否定される

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