「間近いということはないなら拍動であるか三十年来な」物はある
fact1: 「仮に間近いとすると拍動であるか三十年来であるかあるいは両方な」物はある fact2: 仮にこの国税徴収法が幅広くないとすると拍動であるか本籍人であるかもしくはどちらもだ fact3: もしもなんらかの物が敗走するとすると就職するかそれは儚しかどちらもだ fact4: 「もし灯し難いということはないなら「時間情報であるか挟み込むかもしくは両方ともだ」ということは正しい」物はある fact5: 仮にそのサアンが間近いとしたらそれは御与え下さるか口惜しい fact6: 「「仮に経営学であるということはないとすれば放り上げるかあるいは慌てふためくかもしくは両方である」物はある」ということは事実と異ならない fact7: もしその組織・臓器が参画出来ればそれはみっともないかまたはそれは間近いかまたは両方ともだ fact8: 仮にあのＡ遮断作用が暴徒であるとするとそれは群れ飛ぶかまたはそれは三十年来である fact9: もし仮に何かは間近くないとするとそれは拍動であるかまたは三十年来だ fact10: その失語症が移り易いならば見分け難いかそれは湿潤するかまたは両方だ fact11: 「もしもゴシップでないとすると暗いかもしくは甲高いかもしくは両方ともな」物はある
fact9 -> int1: そのサアンが間近いということはないならばそれは拍動であるかもしくは三十年来であるかどちらもである; int1 -> hypothesis;
$facts$ = fact1: 「仮に間近いとすると拍動であるか三十年来であるかあるいは両方な」物はある fact2: 仮にこの国税徴収法が幅広くないとすると拍動であるか本籍人であるかもしくはどちらもだ fact3: もしもなんらかの物が敗走するとすると就職するかそれは儚しかどちらもだ fact4: 「もし灯し難いということはないなら「時間情報であるか挟み込むかもしくは両方ともだ」ということは正しい」物はある fact5: 仮にそのサアンが間近いとしたらそれは御与え下さるか口惜しい fact6: 「「仮に経営学であるということはないとすれば放り上げるかあるいは慌てふためくかもしくは両方である」物はある」ということは事実と異ならない fact7: もしその組織・臓器が参画出来ればそれはみっともないかまたはそれは間近いかまたは両方ともだ fact8: 仮にあのＡ遮断作用が暴徒であるとするとそれは群れ飛ぶかまたはそれは三十年来である fact9: もし仮に何かは間近くないとするとそれは拍動であるかまたは三十年来だ fact10: その失語症が移り易いならば見分け難いかそれは湿潤するかまたは両方だ fact11: 「もしもゴシップでないとすると暗いかもしくは甲高いかもしくは両方ともな」物はある ; $hypothesis$ = 「間近いということはないなら拍動であるか三十年来な」物はある ; $proof$ = 
fact9 -> int1: そのサアンが間近いということはないならばそれは拍動であるかもしくは三十年来であるかどちらもである; int1 -> hypothesis; __PROVED__
事実1: 「仮に間近いとすると拍動であるか三十年来であるかあるいは両方な」物はある
事実2: 仮にこの国税徴収法が幅広くないとすると拍動であるか本籍人であるかもしくはどちらもだ
事実3: もしもなんらかの物が敗走するとすると就職するかそれは儚しかどちらもだ
事実4: 「もし灯し難いということはないなら「時間情報であるか挟み込むかもしくは両方ともだ」ということは正しい」物はある
事実5: 仮にそのサアンが間近いとしたらそれは御与え下さるか口惜しい
事実6: 「「仮に経営学であるということはないとすれば放り上げるかあるいは慌てふためくかもしくは両方である」物はある」ということは事実と異ならない
事実7: もしその組織・臓器が参画出来ればそれはみっともないかまたはそれは間近いかまたは両方ともだ
事実8: 仮にあのＡ遮断作用が暴徒であるとするとそれは群れ飛ぶかまたはそれは三十年来である
事実9: もし仮に何かは間近くないとするとそれは拍動であるかまたは三十年来だ
事実10: その失語症が移り易いならば見分け難いかそれは湿潤するかまたは両方だ
事実11: 「もしもゴシップでないとすると暗いかもしくは甲高いかもしくは両方ともな」物はある

仮説: 「間近いということはないなら拍動であるか三十年来な」物はある
1. 事実9から、推論1: "そのサアンが間近いということはないならばそれは拍動であるかもしくは三十年来であるかどちらもである"が導かれる
2. 推論1から、仮説が導かれる

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