この切れ込みは見出だし得る
fact1: その山回りはみみっちくない fact2: この切れ込みは汚くない fact3: もし「そのラム酒はボディ側でなくて加えて恋愛関係でない」ということは成り立たないとするとあの厚底はボディ側だ fact4: 「もしあるものはキャンプするということはないとしたら「それはボディ側だということはなくて恋愛関係だということはない」ということは成り立たない」ということは正しい fact5: もし仮にこの運動時が汚くてさらにそれは巡回であるとするとそれは見出だし得ない fact6: 騒がしくないものは汚いしおまけに祈ぐ fact7: もし「その仮組み立ては安しない」ということは誤りでないとしたらロマンチストである fact8: あの地元は見出だし得る fact9: そのアファーマティブ・アクションはキャンプしない fact10: 仮にそのアファーマティブ・アクションがキャンプしないしさらにそれが限り無くないならそのラム酒はキャンプしない fact11: そのアファーマティブ・アクションは限り無いということはない fact12: 何らかのものが第四章水素貯蔵であるとしたら騒がしいということはないしさらにそれは没さない fact13: 「もしもあのマスタファイルが見出だし得るがそれが巡回でないとするとこの切れ込みは見出だし得ない」ということは成り立つ fact14: もしもこの切れ込みが赤しないとしたら三脚だ fact15: その戒告は汚い fact16: この律法学者は汚い fact17: この切れ込みが汚くないとすると見出だし得る fact18: 仮に「その要請行動はギタリストだ」ということは間違っているとすると「それは汚い」ということは成り立つ fact19: この切れ込みは接見する fact20: この切れ込みはみみっちい fact21: もし仮にあの厚底がボディ側ならあの行跡は第四章水素貯蔵だ
fact17 & fact2 -> hypothesis;
fact17 & fact2 -> hypothesis;
この運動時は見出だし得ない
$facts$ = fact1: その山回りはみみっちくない fact2: この切れ込みは汚くない fact3: もし「そのラム酒はボディ側でなくて加えて恋愛関係でない」ということは成り立たないとするとあの厚底はボディ側だ fact4: 「もしあるものはキャンプするということはないとしたら「それはボディ側だということはなくて恋愛関係だということはない」ということは成り立たない」ということは正しい fact5: もし仮にこの運動時が汚くてさらにそれは巡回であるとするとそれは見出だし得ない fact6: 騒がしくないものは汚いしおまけに祈ぐ fact7: もし「その仮組み立ては安しない」ということは誤りでないとしたらロマンチストである fact8: あの地元は見出だし得る fact9: そのアファーマティブ・アクションはキャンプしない fact10: 仮にそのアファーマティブ・アクションがキャンプしないしさらにそれが限り無くないならそのラム酒はキャンプしない fact11: そのアファーマティブ・アクションは限り無いということはない fact12: 何らかのものが第四章水素貯蔵であるとしたら騒がしいということはないしさらにそれは没さない fact13: 「もしもあのマスタファイルが見出だし得るがそれが巡回でないとするとこの切れ込みは見出だし得ない」ということは成り立つ fact14: もしもこの切れ込みが赤しないとしたら三脚だ fact15: その戒告は汚い fact16: この律法学者は汚い fact17: この切れ込みが汚くないとすると見出だし得る fact18: 仮に「その要請行動はギタリストだ」ということは間違っているとすると「それは汚い」ということは成り立つ fact19: この切れ込みは接見する fact20: この切れ込みはみみっちい fact21: もし仮にあの厚底がボディ側ならあの行跡は第四章水素貯蔵だ ; $hypothesis$ = この切れ込みは見出だし得る ; $proof$ = 
fact17 & fact2 -> hypothesis; __PROVED__
事実1: その山回りはみみっちくない
事実2: この切れ込みは汚くない
事実3: もし「そのラム酒はボディ側でなくて加えて恋愛関係でない」ということは成り立たないとするとあの厚底はボディ側だ
事実4: 「もしあるものはキャンプするということはないとしたら「それはボディ側だということはなくて恋愛関係だということはない」ということは成り立たない」ということは正しい
事実5: もし仮にこの運動時が汚くてさらにそれは巡回であるとするとそれは見出だし得ない
事実6: 騒がしくないものは汚いしおまけに祈ぐ
事実7: もし「その仮組み立ては安しない」ということは誤りでないとしたらロマンチストである
事実8: あの地元は見出だし得る
事実9: そのアファーマティブ・アクションはキャンプしない
事実10: 仮にそのアファーマティブ・アクションがキャンプしないしさらにそれが限り無くないならそのラム酒はキャンプしない
事実11: そのアファーマティブ・アクションは限り無いということはない
事実12: 何らかのものが第四章水素貯蔵であるとしたら騒がしいということはないしさらにそれは没さない
事実13: 「もしもあのマスタファイルが見出だし得るがそれが巡回でないとするとこの切れ込みは見出だし得ない」ということは成り立つ
事実14: もしもこの切れ込みが赤しないとしたら三脚だ
事実15: その戒告は汚い
事実16: この律法学者は汚い
事実17: この切れ込みが汚くないとすると見出だし得る
事実18: 仮に「その要請行動はギタリストだ」ということは間違っているとすると「それは汚い」ということは成り立つ
事実19: この切れ込みは接見する
事実20: この切れ込みはみみっちい
事実21: もし仮にあの厚底がボディ側ならあの行跡は第四章水素貯蔵だ

仮説: この切れ込みは見出だし得る
1. 事実17と事実2から、仮説が導かれる

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