この食物神は切り替えるしその上描画出来る
fact1: その垂直スクロールバーは淀み無くないけどきったない fact2: その垂直スクロールバーがきったないとすればこの食物神は切り替える fact3: 「この食物神は描画出来るが挿管しない」ということは成り立つ
fact1 -> int1: その垂直スクロールバーはきったない; int1 & fact2 -> int2: この食物神は切り替える; fact3 -> int3: この食物神は描画出来る; int2 & int3 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; fact3 -> int3: {D}{b}; int2 & int3 -> hypothesis;
$facts$ = fact1: その垂直スクロールバーは淀み無くないけどきったない fact2: その垂直スクロールバーがきったないとすればこの食物神は切り替える fact3: 「この食物神は描画出来るが挿管しない」ということは成り立つ ; $hypothesis$ = この食物神は切り替えるしその上描画出来る ; $proof$ = 
fact1 -> int1: その垂直スクロールバーはきったない; int1 & fact2 -> int2: この食物神は切り替える; fact3 -> int3: この食物神は描画出来る; int2 & int3 -> hypothesis; __PROVED__
事実1: その垂直スクロールバーは淀み無くないけどきったない
事実2: その垂直スクロールバーがきったないとすればこの食物神は切り替える
事実3: 「この食物神は描画出来るが挿管しない」ということは成り立つ

仮説: この食物神は切り替えるしその上描画出来る
1. 事実1から、推論1: "その垂直スクロールバーはきったない"が導かれる
2. 推論1と事実2から、推論2: "この食物神は切り替える"が導かれる
3. 事実3から、推論3: "この食物神は描画出来る"が導かれる
4. 推論2と推論3から、仮説が導かれる

よって、仮説が証明されました。