「もし短過ぎないかもしくは意味深くないとするとさもしい」ものはある
fact1: 「もし仮に意味深いということはないとするとさもしい」物はある fact2: 「もし仮に短過ぎないとすればさもしい」物はある fact3: もしもこの重層構造が加工出来ないかもしくはさもしくないかまたは両方であるとするとそれは農政学である fact4: もしも「この大余所は短過ぎない」ということは事実と異ならないならさもしい fact5: もしもこの大余所は短過ぎないかあるいはそれは意味深いかどちらもであるとするとさもしい fact6: 仮にこの大余所が短過ぎないかそれは意味深くないかあるいは両方ならさもしい fact7: 「もし仮にＣＩＣでないかもしくは幻滅しないかもしくはどちらもであるなら抗し難い」ものはある fact8: 「もし仮に短過ぎないかまたは意味深いかあるいは両方ともであるとするとさもしい」ものはある fact9: 「もし短過ぎるかまたは意味深くないかあるいは両方だとすると「さもしい」ということは誤りでない」物はある fact10: もしあるものが総額でないかまたはそれはさもしくないとすれば「それは耐え難い」ということは正しい fact11: この大余所がさもしくないかもしくは南天だということはないか両方ならばそれは尾張家である fact12: 仮にあの西上がＣＨオンでないかもしくはそれはぼろくないかあるいは両方ともだとするとさもしい fact13: もし仮にこの大余所が植物分類でないかもしくはそれはせせこましいということはないかまたは両方ならそれはさもしい fact14: 仮にこのＮＣＬＢ法が与え難くないかあるいはそれは短過ぎないかあるいは両方ともだとしたらそれはスポット作業用である fact15: 仮にこの大余所が養子縁組しないかさもしくないなら無一物だ fact16: もし仮にこの大余所が狭苦しくないか付け始めないならばそれは病害虫だ
fact6 -> hypothesis;
もしもその本塁が総額でないかあるいはそれはさもしくないかまたは両方ともであるならそれは耐え難い
fact17 -> hypothesis;
$facts$ = fact1: 「もし仮に意味深いということはないとするとさもしい」物はある fact2: 「もし仮に短過ぎないとすればさもしい」物はある fact3: もしもこの重層構造が加工出来ないかもしくはさもしくないかまたは両方であるとするとそれは農政学である fact4: もしも「この大余所は短過ぎない」ということは事実と異ならないならさもしい fact5: もしもこの大余所は短過ぎないかあるいはそれは意味深いかどちらもであるとするとさもしい fact6: 仮にこの大余所が短過ぎないかそれは意味深くないかあるいは両方ならさもしい fact7: 「もし仮にＣＩＣでないかもしくは幻滅しないかもしくはどちらもであるなら抗し難い」ものはある fact8: 「もし仮に短過ぎないかまたは意味深いかあるいは両方ともであるとするとさもしい」ものはある fact9: 「もし短過ぎるかまたは意味深くないかあるいは両方だとすると「さもしい」ということは誤りでない」物はある fact10: もしあるものが総額でないかまたはそれはさもしくないとすれば「それは耐え難い」ということは正しい fact11: この大余所がさもしくないかもしくは南天だということはないか両方ならばそれは尾張家である fact12: 仮にあの西上がＣＨオンでないかもしくはそれはぼろくないかあるいは両方ともだとするとさもしい fact13: もし仮にこの大余所が植物分類でないかもしくはそれはせせこましいということはないかまたは両方ならそれはさもしい fact14: 仮にこのＮＣＬＢ法が与え難くないかあるいはそれは短過ぎないかあるいは両方ともだとしたらそれはスポット作業用である fact15: 仮にこの大余所が養子縁組しないかさもしくないなら無一物だ fact16: もし仮にこの大余所が狭苦しくないか付け始めないならばそれは病害虫だ ; $hypothesis$ = 「もし短過ぎないかもしくは意味深くないとするとさもしい」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「もし仮に意味深いということはないとするとさもしい」物はある
事実2: 「もし仮に短過ぎないとすればさもしい」物はある
事実3: もしもこの重層構造が加工出来ないかもしくはさもしくないかまたは両方であるとするとそれは農政学である
事実4: もしも「この大余所は短過ぎない」ということは事実と異ならないならさもしい
事実5: もしもこの大余所は短過ぎないかあるいはそれは意味深いかどちらもであるとするとさもしい
事実6: 仮にこの大余所が短過ぎないかそれは意味深くないかあるいは両方ならさもしい
事実7: 「もし仮にＣＩＣでないかもしくは幻滅しないかもしくはどちらもであるなら抗し難い」ものはある
事実8: 「もし仮に短過ぎないかまたは意味深いかあるいは両方ともであるとするとさもしい」ものはある
事実9: 「もし短過ぎるかまたは意味深くないかあるいは両方だとすると「さもしい」ということは誤りでない」物はある
事実10: もしあるものが総額でないかまたはそれはさもしくないとすれば「それは耐え難い」ということは正しい
事実11: この大余所がさもしくないかもしくは南天だということはないか両方ならばそれは尾張家である
事実12: 仮にあの西上がＣＨオンでないかもしくはそれはぼろくないかあるいは両方ともだとするとさもしい
事実13: もし仮にこの大余所が植物分類でないかもしくはそれはせせこましいということはないかまたは両方ならそれはさもしい
事実14: 仮にこのＮＣＬＢ法が与え難くないかあるいはそれは短過ぎないかあるいは両方ともだとしたらそれはスポット作業用である
事実15: 仮にこの大余所が養子縁組しないかさもしくないなら無一物だ
事実16: もし仮にこの大余所が狭苦しくないか付け始めないならばそれは病害虫だ

仮説: 「もし短過ぎないかもしくは意味深くないとするとさもしい」ものはある
1. 事実6から、仮説が導かれる

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