「「もし勝てないならば本文用紙でないし路線バスでない」ものはある」ということは誤っている
fact1: もしその媒介性が勝てないとしたら本文用紙でなくて路線バスでない fact2: もしもその媒介性は勝てるなら「それは本文用紙でなくてそれに路線バスでない」ということは真実だ fact3: もし仮にその媒介性が勝てないとすると路線バスだということはない fact4: もしもその媒介性が勝てるということはないとしたらそれが本文用紙だしまたそれは路線バスでない fact5: 「勝てないならば本文用紙でない」物はある fact6: そつ無くない物は扱い易さであるということはなくて入隊しない fact7: 「仮に勝てないならば本文用紙であるしおまけに路線バスでない」ものはある
fact1 -> hypothesis;
「もしそつ無くないなら扱い易さでないしそれに入隊しない」物はある
fact8 -> int1: もしあの公達がそつ無くないとしたらそれは扱い易さでなくてその上入隊しない; int1 -> hypothesis;
$facts$ = fact1: もしその媒介性が勝てないとしたら本文用紙でなくて路線バスでない fact2: もしもその媒介性は勝てるなら「それは本文用紙でなくてそれに路線バスでない」ということは真実だ fact3: もし仮にその媒介性が勝てないとすると路線バスだということはない fact4: もしもその媒介性が勝てるということはないとしたらそれが本文用紙だしまたそれは路線バスでない fact5: 「勝てないならば本文用紙でない」物はある fact6: そつ無くない物は扱い易さであるということはなくて入隊しない fact7: 「仮に勝てないならば本文用紙であるしおまけに路線バスでない」ものはある ; $hypothesis$ = 「「もし勝てないならば本文用紙でないし路線バスでない」ものはある」ということは誤っている ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: もしその媒介性が勝てないとしたら本文用紙でなくて路線バスでない
事実2: もしもその媒介性は勝てるなら「それは本文用紙でなくてそれに路線バスでない」ということは真実だ
事実3: もし仮にその媒介性が勝てないとすると路線バスだということはない
事実4: もしもその媒介性が勝てるということはないとしたらそれが本文用紙だしまたそれは路線バスでない
事実5: 「勝てないならば本文用紙でない」物はある
事実6: そつ無くない物は扱い易さであるということはなくて入隊しない
事実7: 「仮に勝てないならば本文用紙であるしおまけに路線バスでない」ものはある

仮説: 「「もし勝てないならば本文用紙でないし路線バスでない」ものはある」ということは誤っている
1. 事実1から、仮説が否定される

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