「もし仮に手っ取り早いしそれに御紹介頂かないとすると切ない」物はある
fact1: 「扁桃炎であるし加えて所以外でないとしたら火炎伸長な」ものはある fact2: 「「仮に手っ取り早くてさらに御紹介頂くとしたら切ない」物はある」ということは確かだ fact3: もしもこの下知が手っ取り早いが御紹介頂かないとするとそれは切ない fact4: でかい物が通り易くないならマウスポインタだ fact5: その潮騒が勝ち得るけどとろいということはないとするとそれは結び合わす fact6: 「仮に存ずる一方ですーごいということはないならば売り上げる」ものはある fact7: もし仮にこの下知が手っ取り早いしその上御紹介頂くとしたら切ない fact8: この下知が乱れ切るけれどそれが御紹介頂かないならば回収ボックスである
fact3 -> hypothesis;
fact3 -> hypothesis;
「もし仮にでかくて通り易いということはないならば「マウスポインタだ」ということは本当である」ものはある
fact9 -> int1: もし仮にこの被膜がでかい一方で通り易いということはないとしたらマウスポインタだ; int1 -> hypothesis;
$facts$ = fact1: 「扁桃炎であるし加えて所以外でないとしたら火炎伸長な」ものはある fact2: 「「仮に手っ取り早くてさらに御紹介頂くとしたら切ない」物はある」ということは確かだ fact3: もしもこの下知が手っ取り早いが御紹介頂かないとするとそれは切ない fact4: でかい物が通り易くないならマウスポインタだ fact5: その潮騒が勝ち得るけどとろいということはないとするとそれは結び合わす fact6: 「仮に存ずる一方ですーごいということはないならば売り上げる」ものはある fact7: もし仮にこの下知が手っ取り早いしその上御紹介頂くとしたら切ない fact8: この下知が乱れ切るけれどそれが御紹介頂かないならば回収ボックスである ; $hypothesis$ = 「もし仮に手っ取り早いしそれに御紹介頂かないとすると切ない」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「扁桃炎であるし加えて所以外でないとしたら火炎伸長な」ものはある
事実2: 「「仮に手っ取り早くてさらに御紹介頂くとしたら切ない」物はある」ということは確かだ
事実3: もしもこの下知が手っ取り早いが御紹介頂かないとするとそれは切ない
事実4: でかい物が通り易くないならマウスポインタだ
事実5: その潮騒が勝ち得るけどとろいということはないとするとそれは結び合わす
事実6: 「仮に存ずる一方ですーごいということはないならば売り上げる」ものはある
事実7: もし仮にこの下知が手っ取り早いしその上御紹介頂くとしたら切ない
事実8: この下知が乱れ切るけれどそれが御紹介頂かないならば回収ボックスである

仮説: 「もし仮に手っ取り早いしそれに御紹介頂かないとすると切ない」物はある
1. 事実3から、仮説が導かれる

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