「飛翔しないとすると若しかもしくはしどけない」ものはある
fact1: 「もし仮に競技体操でないとするとリモートクライアントであるか青っぽい」物はある fact2: もしもなんらかの物がリレーしないならば浅ましかあるいは適格一部分割であるかもしくは両方ともだ fact3: もし何かは飛翔するとするとそれは若しかまたはしどけないかあるいはどちらもだ fact4: もし仮にあるものが飛翔しないなら若しかもしくはそれはしどけないかあるいは両方ともだ fact5: 仮にその上古が飛翔するとしたら若しかまたはそれはしどけないかあるいは両方だ
fact4 -> int1: 仮にその上古が飛翔しないとすればそれは若しかあるいはしどけないかまたは両方ともである; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に競技体操でないとするとリモートクライアントであるか青っぽい」物はある fact2: もしもなんらかの物がリレーしないならば浅ましかあるいは適格一部分割であるかもしくは両方ともだ fact3: もし何かは飛翔するとするとそれは若しかまたはしどけないかあるいはどちらもだ fact4: もし仮にあるものが飛翔しないなら若しかもしくはそれはしどけないかあるいは両方ともだ fact5: 仮にその上古が飛翔するとしたら若しかまたはそれはしどけないかあるいは両方だ ; $hypothesis$ = 「飛翔しないとすると若しかもしくはしどけない」ものはある ; $proof$ = 
fact4 -> int1: 仮にその上古が飛翔しないとすればそれは若しかあるいはしどけないかまたは両方ともである; int1 -> hypothesis; __PROVED__
事実1: 「もし仮に競技体操でないとするとリモートクライアントであるか青っぽい」物はある
事実2: もしもなんらかの物がリレーしないならば浅ましかあるいは適格一部分割であるかもしくは両方ともだ
事実3: もし何かは飛翔するとするとそれは若しかまたはしどけないかあるいはどちらもだ
事実4: もし仮にあるものが飛翔しないなら若しかもしくはそれはしどけないかあるいは両方ともだ
事実5: 仮にその上古が飛翔するとしたら若しかまたはそれはしどけないかあるいは両方だ

仮説: 「飛翔しないとすると若しかもしくはしどけない」ものはある
1. 事実4から、推論1: "仮にその上古が飛翔しないとすればそれは若しかあるいはしどけないかまたは両方ともである"が導かれる
2. 推論1から、仮説が導かれる

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