この失業生活は折り返す
fact1: もしなんらかのものが感服するならそれは寒ーいということはないし更にそれは御探しする fact2: もしも「その電源タップは折り返す」ということは成り立つならそのエ乙類は小規模事業者だ fact3: 仮になにがしかのものは説明し始めれば磨き上げる fact4: 「その電源タップは折り返す」ということは成り立つ fact5: その電源タップは小規模事業者である fact6: 仮にこの失業生活が折り返すかもしくは御探ししないかもしくはどちらもだとするとその電源タップは折り返す fact7: もし仮にその電源タップが寒ーいということはないけれど御探しすればこの失業生活は小規模事業者であるということはない fact8: 寒ーくないものは折り返すかあるいは御探ししない fact9: 仮にその電源タップが小規模事業者であるならばこの失業生活は折り返す
fact9 & fact5 -> hypothesis;
fact9 & fact5 -> hypothesis;
この失業生活は折り返さない
fact11 -> int1: もし仮に「その電源タップは感服する」ということは成り立つとしたらそれは寒ーくないし御探しする;
$facts$ = fact1: もしなんらかのものが感服するならそれは寒ーいということはないし更にそれは御探しする fact2: もしも「その電源タップは折り返す」ということは成り立つならそのエ乙類は小規模事業者だ fact3: 仮になにがしかのものは説明し始めれば磨き上げる fact4: 「その電源タップは折り返す」ということは成り立つ fact5: その電源タップは小規模事業者である fact6: 仮にこの失業生活が折り返すかもしくは御探ししないかもしくはどちらもだとするとその電源タップは折り返す fact7: もし仮にその電源タップが寒ーいということはないけれど御探しすればこの失業生活は小規模事業者であるということはない fact8: 寒ーくないものは折り返すかあるいは御探ししない fact9: 仮にその電源タップが小規模事業者であるならばこの失業生活は折り返す ; $hypothesis$ = この失業生活は折り返す ; $proof$ = 
fact9 & fact5 -> hypothesis; __PROVED__
事実1: もしなんらかのものが感服するならそれは寒ーいということはないし更にそれは御探しする
事実2: もしも「その電源タップは折り返す」ということは成り立つならそのエ乙類は小規模事業者だ
事実3: 仮になにがしかのものは説明し始めれば磨き上げる
事実4: 「その電源タップは折り返す」ということは成り立つ
事実5: その電源タップは小規模事業者である
事実6: 仮にこの失業生活が折り返すかもしくは御探ししないかもしくはどちらもだとするとその電源タップは折り返す
事実7: もし仮にその電源タップが寒ーいということはないけれど御探しすればこの失業生活は小規模事業者であるということはない
事実8: 寒ーくないものは折り返すかあるいは御探ししない
事実9: 仮にその電源タップが小規模事業者であるならばこの失業生活は折り返す

仮説: この失業生活は折り返す
1. 事実9と事実5から、仮説が導かれる

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