「この思想状態は御増すしそれはハンドリングである」ということは事実と異なる
fact1: もし仮にあるものが先刻御承知ならば出向する fact2: もしも「なにかはやんごとなくないし出向するということはない」ということは偽であるとするとそれはハンドリングだ fact3: 仮に好もしいものがあるとしたらあの上腕部は踏み倒すしさらに結び付ける fact4: 仮にあの上腕部は出向しないとすれば「この思想状態は御増すしハンドリングである」ということは誤りである fact5: 「好もしい」物はある fact6: 「もしとある物は出向するとすると「それはハンドリングでないしやんごとないということはない」ということは偽だ」ということは成り立つ fact7: そのトラッカー・スクールは出向しない fact8: あの上腕部は出向しない fact9: 仮に何かは贈与するとするとそれは先刻御承知でないがしかし御増す fact10: この思想状態は贈与する
fact4 & fact8 -> hypothesis;
この辟易はハンドリングでない
fact11 -> int1: 仮にこの思想状態は出向するなら「それはハンドリングでなくてその上やんごとなくない」ということは成り立たない; fact12 -> int2: もしこの思想状態が先刻御承知だとすればそれは出向する;
$facts$ = fact1: もし仮にあるものが先刻御承知ならば出向する fact2: もしも「なにかはやんごとなくないし出向するということはない」ということは偽であるとするとそれはハンドリングだ fact3: 仮に好もしいものがあるとしたらあの上腕部は踏み倒すしさらに結び付ける fact4: 仮にあの上腕部は出向しないとすれば「この思想状態は御増すしハンドリングである」ということは誤りである fact5: 「好もしい」物はある fact6: 「もしとある物は出向するとすると「それはハンドリングでないしやんごとないということはない」ということは偽だ」ということは成り立つ fact7: そのトラッカー・スクールは出向しない fact8: あの上腕部は出向しない fact9: 仮に何かは贈与するとするとそれは先刻御承知でないがしかし御増す fact10: この思想状態は贈与する ; $hypothesis$ = 「この思想状態は御増すしそれはハンドリングである」ということは事実と異なる ; $proof$ = 
fact4 & fact8 -> hypothesis; __PROVED__
事実1: もし仮にあるものが先刻御承知ならば出向する
事実2: もしも「なにかはやんごとなくないし出向するということはない」ということは偽であるとするとそれはハンドリングだ
事実3: 仮に好もしいものがあるとしたらあの上腕部は踏み倒すしさらに結び付ける
事実4: 仮にあの上腕部は出向しないとすれば「この思想状態は御増すしハンドリングである」ということは誤りである
事実5: 「好もしい」物はある
事実6: 「もしとある物は出向するとすると「それはハンドリングでないしやんごとないということはない」ということは偽だ」ということは成り立つ
事実7: そのトラッカー・スクールは出向しない
事実8: あの上腕部は出向しない
事実9: 仮に何かは贈与するとするとそれは先刻御承知でないがしかし御増す
事実10: この思想状態は贈与する

仮説: 「この思想状態は御増すしそれはハンドリングである」ということは事実と異なる
1. 事実4と事実8から、仮説が導かれる

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