あのスカベンジャーは三千五百人でない
fact1: 「ビームである」ものはある fact2: 「ビームである」物があるならあの火皿は振り捨てるけどこっ酷くない fact3: もしもあの火皿が振り捨てるとしたらあのスカベンジャーは三千五百人だ
fact1 & fact2 -> int1: あの火皿は振り捨てるけれどそれはこっ酷くない; int1 -> int2: あの火皿は振り捨てる; int2 & fact3 -> hypothesis;
$facts$ = fact1: 「ビームである」ものはある fact2: 「ビームである」物があるならあの火皿は振り捨てるけどこっ酷くない fact3: もしもあの火皿が振り捨てるとしたらあのスカベンジャーは三千五百人だ ; $hypothesis$ = あのスカベンジャーは三千五百人でない ; $proof$ = 
fact1 & fact2 -> int1: あの火皿は振り捨てるけれどそれはこっ酷くない; int1 -> int2: あの火皿は振り捨てる; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: 「ビームである」ものはある
事実2: 「ビームである」物があるならあの火皿は振り捨てるけどこっ酷くない
事実3: もしもあの火皿が振り捨てるとしたらあのスカベンジャーは三千五百人だ

仮説: あのスカベンジャーは三千五百人でない
1. 事実1と事実2から、推論1: "あの火皿は振り捨てるけれどそれはこっ酷くない"が導かれる
2. 推論1から、推論2: "あの火皿は振り捨てる"が導かれる
3. 推論2と事実3から、仮説が否定される

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