その追従者は見え易いということはない
fact1: 仮に「何らかのものはすげなくなくておまけに相継がない」ということは嘘であるとしたらそれは見え易くない fact2: その追従者は飛ばす fact3: あのフロラは見え易い fact4: 「その追従者は見え易い」ということは本当だ
fact4 -> hypothesis;
fact4 -> hypothesis;
その追従者は見え易くない
fact5 -> int1: もし「その追従者はすげないということはなくてしかも相継ぐということはない」ということは嘘であるならそれは見え易くない;
$facts$ = fact1: 仮に「何らかのものはすげなくなくておまけに相継がない」ということは嘘であるとしたらそれは見え易くない fact2: その追従者は飛ばす fact3: あのフロラは見え易い fact4: 「その追従者は見え易い」ということは本当だ ; $hypothesis$ = その追従者は見え易いということはない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 仮に「何らかのものはすげなくなくておまけに相継がない」ということは嘘であるとしたらそれは見え易くない
事実2: その追従者は飛ばす
事実3: あのフロラは見え易い
事実4: 「その追従者は見え易い」ということは本当だ

仮説: その追従者は見え易いということはない
1. 事実4から、仮説が否定される

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