「仮にＡ・Ｂ・Ｃでないならば読み難いしまた恋しい」ものはある
fact1: 「もし仮に「当たり易くない」ということは確かであるとしたら切り難い」ものはある fact2: とあるものは外帯でないならば易しくておまけに用う fact3: もしそのパラボラ・アンテナがＡ・Ｂ・Ｃでないとすればそれは読み難くておまけにそれは恋しい fact4: 「もし「空間全体でない」ということは真実だとしたら手当てで開き易い」ものはある
fact3 -> hypothesis;
「「もし仮に外帯でないとしたら易しいしその上用う」ものはある」ということは成り立つ
fact5 -> int1: もし仮にこのＡＵが外帯だということはないならばそれは易しいしさらに用う; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に「当たり易くない」ということは確かであるとしたら切り難い」ものはある fact2: とあるものは外帯でないならば易しくておまけに用う fact3: もしそのパラボラ・アンテナがＡ・Ｂ・Ｃでないとすればそれは読み難くておまけにそれは恋しい fact4: 「もし「空間全体でない」ということは真実だとしたら手当てで開き易い」ものはある ; $hypothesis$ = 「仮にＡ・Ｂ・Ｃでないならば読み難いしまた恋しい」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「もし仮に「当たり易くない」ということは確かであるとしたら切り難い」ものはある
事実2: とあるものは外帯でないならば易しくておまけに用う
事実3: もしそのパラボラ・アンテナがＡ・Ｂ・Ｃでないとすればそれは読み難くておまけにそれは恋しい
事実4: 「もし「空間全体でない」ということは真実だとしたら手当てで開き易い」ものはある

仮説: 「仮にＡ・Ｂ・Ｃでないならば読み難いしまた恋しい」ものはある
1. 事実3から、仮説が導かれる

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