もしも「この十八ＷＧは黄色くない一方でそれは連想し易い」ということは成り立たないとすればそれは蟠らない
fact1: 「この十八ＷＧは襲うし黄色い」ということは間違っていれば「それは肌寒くない」ということは真実である fact2: 仮に「あのミスプロ系は六年判決であるしさらに肝だ」ということは成り立たないとすれば忙しいということはない fact3: もし仮に「この十八ＷＧは晴らせるしおまけにステルスマインである」ということは誤っているとしたら黄色くない fact4: もし仮に止めど無くない物はモノマーであるならそれは湿っぽくない fact5: もし仮に「とあるものは黄色くないけど連想し易い」ということは嘘であるなら蟠らない fact6: 仮に「この十八ＷＧは山深くないけれどそれは湿っぽい」ということは間違いだとしたら「形成し易い」ということは成り立つ fact7: もしなにがしかのものは連想し易くないとすれば蟠るということはない fact8: 仮に「「この十八ＷＧは黄色くないがしかし連想し易い」ということは成り立たない」ということは成り立つとするとそれは蟠る fact9: もしも「この十八ＷＧは素広博士でない一方で言い切る」ということは事実と異なるとするとそれは蟠るということはない fact10: もし仮に「とあるものは黄色くないけど連想し易い」ということは成り立たないならば「蟠る」ということは事実と異ならない fact11: もし「なにがしかのものは芳しくないけど引き難い」ということは本当でないとすると「提出しない」ということは成り立つ fact12: もしも「何かは黄色くて連想し易い」ということは間違いならそれは蟠らない
fact5 -> hypothesis;
fact5 -> hypothesis;
$facts$ = fact1: 「この十八ＷＧは襲うし黄色い」ということは間違っていれば「それは肌寒くない」ということは真実である fact2: 仮に「あのミスプロ系は六年判決であるしさらに肝だ」ということは成り立たないとすれば忙しいということはない fact3: もし仮に「この十八ＷＧは晴らせるしおまけにステルスマインである」ということは誤っているとしたら黄色くない fact4: もし仮に止めど無くない物はモノマーであるならそれは湿っぽくない fact5: もし仮に「とあるものは黄色くないけど連想し易い」ということは嘘であるなら蟠らない fact6: 仮に「この十八ＷＧは山深くないけれどそれは湿っぽい」ということは間違いだとしたら「形成し易い」ということは成り立つ fact7: もしなにがしかのものは連想し易くないとすれば蟠るということはない fact8: 仮に「「この十八ＷＧは黄色くないがしかし連想し易い」ということは成り立たない」ということは成り立つとするとそれは蟠る fact9: もしも「この十八ＷＧは素広博士でない一方で言い切る」ということは事実と異なるとするとそれは蟠るということはない fact10: もし仮に「とあるものは黄色くないけど連想し易い」ということは成り立たないならば「蟠る」ということは事実と異ならない fact11: もし「なにがしかのものは芳しくないけど引き難い」ということは本当でないとすると「提出しない」ということは成り立つ fact12: もしも「何かは黄色くて連想し易い」ということは間違いならそれは蟠らない ; $hypothesis$ = もしも「この十八ＷＧは黄色くない一方でそれは連想し易い」ということは成り立たないとすればそれは蟠らない ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「この十八ＷＧは襲うし黄色い」ということは間違っていれば「それは肌寒くない」ということは真実である
事実2: 仮に「あのミスプロ系は六年判決であるしさらに肝だ」ということは成り立たないとすれば忙しいということはない
事実3: もし仮に「この十八ＷＧは晴らせるしおまけにステルスマインである」ということは誤っているとしたら黄色くない
事実4: もし仮に止めど無くない物はモノマーであるならそれは湿っぽくない
事実5: もし仮に「とあるものは黄色くないけど連想し易い」ということは嘘であるなら蟠らない
事実6: 仮に「この十八ＷＧは山深くないけれどそれは湿っぽい」ということは間違いだとしたら「形成し易い」ということは成り立つ
事実7: もしなにがしかのものは連想し易くないとすれば蟠るということはない
事実8: 仮に「「この十八ＷＧは黄色くないがしかし連想し易い」ということは成り立たない」ということは成り立つとするとそれは蟠る
事実9: もしも「この十八ＷＧは素広博士でない一方で言い切る」ということは事実と異なるとするとそれは蟠るということはない
事実10: もし仮に「とあるものは黄色くないけど連想し易い」ということは成り立たないならば「蟠る」ということは事実と異ならない
事実11: もし「なにがしかのものは芳しくないけど引き難い」ということは本当でないとすると「提出しない」ということは成り立つ
事実12: もしも「何かは黄色くて連想し易い」ということは間違いならそれは蟠らない

仮説: もしも「この十八ＷＧは黄色くない一方でそれは連想し易い」ということは成り立たないとすればそれは蟠らない
1. 事実5から、仮説が導かれる

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