「仮にＩＴ関連であるかあるいは安静でないとすれば短距離でない」ものはある
fact1: 仮にあの大権が多民族国家であるかもしくは見せびらかさないならばそれはショッピングモールだ fact2: もしもあの大権はＩＴ関連であるならばそれは短距離であるということはない fact3: 「あの大権はＩＴ関連であるかまたはそれは取り壊さない」ということは成り立つとすればそれは接岸しない fact4: 「コア内であるか無制限納税義務者でないかもしくはどちらもだとしたら綴じ込む」物はある fact5: 「もし仮に安静でないなら短距離でない」物はある fact6: もしもその南太平洋方面が軽しかもしくは飢餓状態でないか両方だとしたら綴じ込む fact7: もし仮にあの大権は掻き易いかまたは遅しないか両方ともだとしたら鈍らない fact8: もしもあの大権はＩＴ関連であるかあるいは安静でないか両方だとすればそれは短距離でない fact9: 「低空であるかまたはなあくないかもしくは両方であるとしたら一分後だということはない」物はある fact10: あの大権がＩＴ関連であるかそれは安静であるか両方であるとするとそれは短距離でない fact11: もし仮に何らかの物がなあいかあるいはそれは出現し易くないかもしくは両方なら意地悪くない fact12: 「ＩＴ関連であるかもしくは安静であるかどちらもであるとすれば短距離でない」物はある fact13: 「もし遅しかハードタイプでないとすると言い難い」物はある fact14: 「もしも木目細かいか重々しかないかまたは両方だとすれば「取り壊す」ということは真実な」ものはある fact15: 仮にそのＡ・Ｂさんは凄むかまたは検査前でないかまたは両方であるとすれば子供っぽくない fact16: 「もし仮に「普通ポルトランドセメントであるかもしくは呈し始めないかまたは両方ともである」ということは事実であるとすると遅しない」ものはある fact17: 「「もし仮に「張り合わせる」ということは成り立つとすると寄宿するということはない」物はある」ということは正しい
fact8 -> hypothesis;
「「もし仮になあいか出現し易くないならば意地悪くない」物はある」ということは事実である
fact18 -> int1: その囲口膜がなあいかまたは出現し易くないならば「意地悪くない」ということは真実である; int1 -> hypothesis;
$facts$ = fact1: 仮にあの大権が多民族国家であるかもしくは見せびらかさないならばそれはショッピングモールだ fact2: もしもあの大権はＩＴ関連であるならばそれは短距離であるということはない fact3: 「あの大権はＩＴ関連であるかまたはそれは取り壊さない」ということは成り立つとすればそれは接岸しない fact4: 「コア内であるか無制限納税義務者でないかもしくはどちらもだとしたら綴じ込む」物はある fact5: 「もし仮に安静でないなら短距離でない」物はある fact6: もしもその南太平洋方面が軽しかもしくは飢餓状態でないか両方だとしたら綴じ込む fact7: もし仮にあの大権は掻き易いかまたは遅しないか両方ともだとしたら鈍らない fact8: もしもあの大権はＩＴ関連であるかあるいは安静でないか両方だとすればそれは短距離でない fact9: 「低空であるかまたはなあくないかもしくは両方であるとしたら一分後だということはない」物はある fact10: あの大権がＩＴ関連であるかそれは安静であるか両方であるとするとそれは短距離でない fact11: もし仮に何らかの物がなあいかあるいはそれは出現し易くないかもしくは両方なら意地悪くない fact12: 「ＩＴ関連であるかもしくは安静であるかどちらもであるとすれば短距離でない」物はある fact13: 「もし遅しかハードタイプでないとすると言い難い」物はある fact14: 「もしも木目細かいか重々しかないかまたは両方だとすれば「取り壊す」ということは真実な」ものはある fact15: 仮にそのＡ・Ｂさんは凄むかまたは検査前でないかまたは両方であるとすれば子供っぽくない fact16: 「もし仮に「普通ポルトランドセメントであるかもしくは呈し始めないかまたは両方ともである」ということは事実であるとすると遅しない」ものはある fact17: 「「もし仮に「張り合わせる」ということは成り立つとすると寄宿するということはない」物はある」ということは正しい ; $hypothesis$ = 「仮にＩＴ関連であるかあるいは安静でないとすれば短距離でない」ものはある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 仮にあの大権が多民族国家であるかもしくは見せびらかさないならばそれはショッピングモールだ
事実2: もしもあの大権はＩＴ関連であるならばそれは短距離であるということはない
事実3: 「あの大権はＩＴ関連であるかまたはそれは取り壊さない」ということは成り立つとすればそれは接岸しない
事実4: 「コア内であるか無制限納税義務者でないかもしくはどちらもだとしたら綴じ込む」物はある
事実5: 「もし仮に安静でないなら短距離でない」物はある
事実6: もしもその南太平洋方面が軽しかもしくは飢餓状態でないか両方だとしたら綴じ込む
事実7: もし仮にあの大権は掻き易いかまたは遅しないか両方ともだとしたら鈍らない
事実8: もしもあの大権はＩＴ関連であるかあるいは安静でないか両方だとすればそれは短距離でない
事実9: 「低空であるかまたはなあくないかもしくは両方であるとしたら一分後だということはない」物はある
事実10: あの大権がＩＴ関連であるかそれは安静であるか両方であるとするとそれは短距離でない
事実11: もし仮に何らかの物がなあいかあるいはそれは出現し易くないかもしくは両方なら意地悪くない
事実12: 「ＩＴ関連であるかもしくは安静であるかどちらもであるとすれば短距離でない」物はある
事実13: 「もし遅しかハードタイプでないとすると言い難い」物はある
事実14: 「もしも木目細かいか重々しかないかまたは両方だとすれば「取り壊す」ということは真実な」ものはある
事実15: 仮にそのＡ・Ｂさんは凄むかまたは検査前でないかまたは両方であるとすれば子供っぽくない
事実16: 「もし仮に「普通ポルトランドセメントであるかもしくは呈し始めないかまたは両方ともである」ということは事実であるとすると遅しない」ものはある
事実17: 「「もし仮に「張り合わせる」ということは成り立つとすると寄宿するということはない」物はある」ということは正しい

仮説: 「仮にＩＴ関連であるかあるいは安静でないとすれば短距離でない」ものはある
1. 事実8から、仮説が導かれる

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