この白人は追跡しない
fact1: 仮にあの良能が階層化するとするとこの白人は愛でるかあるいは追跡するということはないか両方ともだ fact2: もし「あの一音は篤志家である」ということは本当であるとしたらあの良能は愛でるか階層化しないかまたは両方ともだ fact3: あの良能は愛でるかまたは階層化する fact4: あの良能が流れ去らないなら関わらない fact5: あの一音は篤志家だ fact6: あの良能が階層化しないとするとこの白人は追跡しない fact7: もしあの良能は関わるということはないとすれば「あの一音はスランプだし加えて大倭だ」ということは成り立たない fact8: もし仮にあの一音が階層化するかまたは追跡しないとしたらあの良能は篤志家でない fact9: もし仮にあの一音が篤志家であるならあの良能は愛でるかまたは階層化する fact10: 話し辛くないものは篤志家だし追跡する fact11: もしあの良能が愛でるか階層化しないかどちらもだとするとこの白人は追跡しない
fact2 & fact5 -> int1: あの良能は愛でるか階層化するということはない; int1 & fact11 -> hypothesis;
この白人は追跡する
fact13 -> int2: もしこの白人は話し辛くないなら篤志家でおまけに追跡する;
$facts$ = fact1: 仮にあの良能が階層化するとするとこの白人は愛でるかあるいは追跡するということはないか両方ともだ fact2: もし「あの一音は篤志家である」ということは本当であるとしたらあの良能は愛でるか階層化しないかまたは両方ともだ fact3: あの良能は愛でるかまたは階層化する fact4: あの良能が流れ去らないなら関わらない fact5: あの一音は篤志家だ fact6: あの良能が階層化しないとするとこの白人は追跡しない fact7: もしあの良能は関わるということはないとすれば「あの一音はスランプだし加えて大倭だ」ということは成り立たない fact8: もし仮にあの一音が階層化するかまたは追跡しないとしたらあの良能は篤志家でない fact9: もし仮にあの一音が篤志家であるならあの良能は愛でるかまたは階層化する fact10: 話し辛くないものは篤志家だし追跡する fact11: もしあの良能が愛でるか階層化しないかどちらもだとするとこの白人は追跡しない ; $hypothesis$ = この白人は追跡しない ; $proof$ = 
fact2 & fact5 -> int1: あの良能は愛でるか階層化するということはない; int1 & fact11 -> hypothesis; __PROVED__
事実1: 仮にあの良能が階層化するとするとこの白人は愛でるかあるいは追跡するということはないか両方ともだ
事実2: もし「あの一音は篤志家である」ということは本当であるとしたらあの良能は愛でるか階層化しないかまたは両方ともだ
事実3: あの良能は愛でるかまたは階層化する
事実4: あの良能が流れ去らないなら関わらない
事実5: あの一音は篤志家だ
事実6: あの良能が階層化しないとするとこの白人は追跡しない
事実7: もしあの良能は関わるということはないとすれば「あの一音はスランプだし加えて大倭だ」ということは成り立たない
事実8: もし仮にあの一音が階層化するかまたは追跡しないとしたらあの良能は篤志家でない
事実9: もし仮にあの一音が篤志家であるならあの良能は愛でるかまたは階層化する
事実10: 話し辛くないものは篤志家だし追跡する
事実11: もしあの良能が愛でるか階層化しないかどちらもだとするとこの白人は追跡しない

仮説: この白人は追跡しない
1. 事実2と事実5から、推論1: "あの良能は愛でるか階層化するということはない"が導かれる
2. 推論1と事実11から、仮説が導かれる

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