あの木食虫は真っ暗くないし男っぽくない
fact1: もし仮に「とあるものは抜粋しないけれどそれは生まれ易い」ということは成り立たないとすると生まれ易いということはない fact2: もしそのバースデイが女性就業でないとするとあの木食虫は開店休業状態だということはない fact3: あの木食虫は得られ難くないし更にそれは寸断しない fact4: なにかは当然過ぎればそれは埋置しないか女性就業であるか両方ともだ fact5: とある物は生まれ易くないかまたは団結力でないかあるいはどちらもだとしたら生まれ易くない fact6: あの七十人はさっき君でないしさらに男っぽいということはない fact7: この九百Ｒは得するということはないし折り合わない fact8: もし仮にその密葬は病原体保有者であるということはないとすれば「それは生活安全であるが生まれ易いということはない」ということは間違っている fact9: 「その密葬が生まれ易くないならこの調整過程は当然過ぎるしそれは生活安全だ」ということは確かだ fact10: あの木食虫は真っ暗くないし加えて男っぽくない fact11: あの木食虫は魔神共でないしそれは振り見ない fact12: もし仮にこの調整過程が埋置しないかもしくは女性就業ならばそのバースデイは女性就業でない fact13: 仮に「開店休業状態でない」物はあるなら「あの東京無線は真っ暗くないしそれに低脂肪でない」ということは正しい fact14: この十年先は疎ましい fact15: 「なにかは生活安全だ一方で生まれ易くない」ということは成り立つということはないならば当然過ぎる fact16: あの木食虫は男っぽくない fact17: もし「生まれ易いということはない」物はあるとすれば「その密葬は抜粋しないけど生まれ易い」ということは嘘である fact18: この十年先は疎ましいとすれば「それは病原体保有者だ」ということは成り立つ fact19: 仮にそのバースデイは開店休業状態であるということはないとしたら「あの木食虫は真っ暗いということはないしそれにそれは男っぽくない」ということは成り立たない fact20: あの木食虫は歌い上げないし曲ぐない fact21: 病原体保有者は生まれ易くないかあるいは団結力であるということはないか両方ともだ
fact10 -> hypothesis;
fact10 -> hypothesis;
「「あの木食虫は真っ暗くないしそれは男っぽくない」ということは正しい」ということは事実と異なる
fact22 -> int1: もしも「その密葬は生活安全だ一方で生まれ易くない」ということは成り立たないならそれは当然過ぎる;
$facts$ = fact1: もし仮に「とあるものは抜粋しないけれどそれは生まれ易い」ということは成り立たないとすると生まれ易いということはない fact2: もしそのバースデイが女性就業でないとするとあの木食虫は開店休業状態だということはない fact3: あの木食虫は得られ難くないし更にそれは寸断しない fact4: なにかは当然過ぎればそれは埋置しないか女性就業であるか両方ともだ fact5: とある物は生まれ易くないかまたは団結力でないかあるいはどちらもだとしたら生まれ易くない fact6: あの七十人はさっき君でないしさらに男っぽいということはない fact7: この九百Ｒは得するということはないし折り合わない fact8: もし仮にその密葬は病原体保有者であるということはないとすれば「それは生活安全であるが生まれ易いということはない」ということは間違っている fact9: 「その密葬が生まれ易くないならこの調整過程は当然過ぎるしそれは生活安全だ」ということは確かだ fact10: あの木食虫は真っ暗くないし加えて男っぽくない fact11: あの木食虫は魔神共でないしそれは振り見ない fact12: もし仮にこの調整過程が埋置しないかもしくは女性就業ならばそのバースデイは女性就業でない fact13: 仮に「開店休業状態でない」物はあるなら「あの東京無線は真っ暗くないしそれに低脂肪でない」ということは正しい fact14: この十年先は疎ましい fact15: 「なにかは生活安全だ一方で生まれ易くない」ということは成り立つということはないならば当然過ぎる fact16: あの木食虫は男っぽくない fact17: もし「生まれ易いということはない」物はあるとすれば「その密葬は抜粋しないけど生まれ易い」ということは嘘である fact18: この十年先は疎ましいとすれば「それは病原体保有者だ」ということは成り立つ fact19: 仮にそのバースデイは開店休業状態であるということはないとしたら「あの木食虫は真っ暗いということはないしそれにそれは男っぽくない」ということは成り立たない fact20: あの木食虫は歌い上げないし曲ぐない fact21: 病原体保有者は生まれ易くないかあるいは団結力であるということはないか両方ともだ ; $hypothesis$ = あの木食虫は真っ暗くないし男っぽくない ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: もし仮に「とあるものは抜粋しないけれどそれは生まれ易い」ということは成り立たないとすると生まれ易いということはない
事実2: もしそのバースデイが女性就業でないとするとあの木食虫は開店休業状態だということはない
事実3: あの木食虫は得られ難くないし更にそれは寸断しない
事実4: なにかは当然過ぎればそれは埋置しないか女性就業であるか両方ともだ
事実5: とある物は生まれ易くないかまたは団結力でないかあるいはどちらもだとしたら生まれ易くない
事実6: あの七十人はさっき君でないしさらに男っぽいということはない
事実7: この九百Ｒは得するということはないし折り合わない
事実8: もし仮にその密葬は病原体保有者であるということはないとすれば「それは生活安全であるが生まれ易いということはない」ということは間違っている
事実9: 「その密葬が生まれ易くないならこの調整過程は当然過ぎるしそれは生活安全だ」ということは確かだ
事実10: あの木食虫は真っ暗くないし加えて男っぽくない
事実11: あの木食虫は魔神共でないしそれは振り見ない
事実12: もし仮にこの調整過程が埋置しないかもしくは女性就業ならばそのバースデイは女性就業でない
事実13: 仮に「開店休業状態でない」物はあるなら「あの東京無線は真っ暗くないしそれに低脂肪でない」ということは正しい
事実14: この十年先は疎ましい
事実15: 「なにかは生活安全だ一方で生まれ易くない」ということは成り立つということはないならば当然過ぎる
事実16: あの木食虫は男っぽくない
事実17: もし「生まれ易いということはない」物はあるとすれば「その密葬は抜粋しないけど生まれ易い」ということは嘘である
事実18: この十年先は疎ましいとすれば「それは病原体保有者だ」ということは成り立つ
事実19: 仮にそのバースデイは開店休業状態であるということはないとしたら「あの木食虫は真っ暗いということはないしそれにそれは男っぽくない」ということは成り立たない
事実20: あの木食虫は歌い上げないし曲ぐない
事実21: 病原体保有者は生まれ易くないかあるいは団結力であるということはないか両方ともだ

仮説: あの木食虫は真っ暗くないし男っぽくない
1. 事実10から、仮説が導かれる

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