あのプレイリストは与し易い
fact1: もし「あの社会福祉士は想像し易くないけれどそれは御断る」ということは嘘だとしたら「この超多項式関数は御断る」ということは成り立つ fact2: もしとあるものが御断るしかつ喋り出すならそれは偽造カードでない fact3: もし仮に「「その職場旅行は柔らかい一方で与し易くない」ということは成り立たない」ということは確かならそれはか細い fact4: 「あのプレイリストはファーポイントであるがしかし買い集めない」ということは事実でない fact5: この多年草が新札でそれが喋り出すとしたらあのプレイリストは新札だということはない fact6: 「あのプレイリストはファーポイントであるしその上買い集める」ということは成り立たない fact7: その御若は師であるししかもＴ座標だ fact8: もし仮にその御若が師であるとすると常備しないし想像し易い fact9: もしあのプレイリストが与し易くないとするとその納税地は絵書きさんでかつファーポイントである fact10: この多年草は出血し易くてさらにそれは御断る fact11: もしその御若が偽造カードであるとするとこの多年草は新札である fact12: あの大学病院等は否決するしさらに離れ難い fact13: 仮になんらかのものは新札だということはないならば「それはガールズでなくて与し易い」ということは成り立たない fact14: 何かは新札だということはないとすると「それはガールズだということはないかもしくはそれは絵書きさんでない」ということは成り立たない fact15: もし仮にこの超多項式関数が御断るとするとその御若は偽造カードである fact16: 仮に「あのプレイリストはファーポイントだけれど買い集めるということはない」ということは成り立たないとすればそれは与し易い fact17: 「あの社会福祉士は想像し易くない一方でそれは御断る」ということは成り立たない fact18: もし仮にこの多年草が偽造カードであるということはないとするとあのプレイリストは新札であるということはない fact19: もしあの大学病院等は否決するなら「それは師であるしまたＴ座標でない」ということは成り立たない fact20: もしも「あの大学病院等は師だがしかしそれはＴ座標だということはない」ということは誤っているとしたらあの第一回配本は出血し易くない fact21: 「とある物はガールズでないかもしくは絵書きさんでないかもしくは両方ともである」ということは成り立たないならばそれは与し易くない fact22: もし「あるものはガールズだということはないけど与し易い」ということは成り立たないとすると「それは与し易いということはない」ということは本当である
fact16 & fact4 -> hypothesis;
fact16 & fact4 -> hypothesis;
あのプレイリストは与し易くない
fact32 -> int1: 「あのプレイリストはガールズでないかそれは絵書きさんでないかまたは両方ともである」ということは偽であるならばそれは与し易くない; fact23 -> int2: あのプレイリストは新札でないならば「それはガールズでないか絵書きさんでないかあるいは両方ともだ」ということは偽である; fact31 & fact30 -> int3: この超多項式関数は御断る; fact28 & int3 -> int4: その御若は偽造カードである; fact25 & int4 -> int5: この多年草は新札だ; fact27 -> int6: あの大学病院等は否決する; fact24 & int6 -> int7: 「あの大学病院等は師だけれどＴ座標でない」ということは成り立たない; fact29 & int7 -> int8: あの第一回配本は出血し易いということはない; int8 -> int9: 「「出血し易くない」ということは成り立つ」ものはある;
$facts$ = fact1: もし「あの社会福祉士は想像し易くないけれどそれは御断る」ということは嘘だとしたら「この超多項式関数は御断る」ということは成り立つ fact2: もしとあるものが御断るしかつ喋り出すならそれは偽造カードでない fact3: もし仮に「「その職場旅行は柔らかい一方で与し易くない」ということは成り立たない」ということは確かならそれはか細い fact4: 「あのプレイリストはファーポイントであるがしかし買い集めない」ということは事実でない fact5: この多年草が新札でそれが喋り出すとしたらあのプレイリストは新札だということはない fact6: 「あのプレイリストはファーポイントであるしその上買い集める」ということは成り立たない fact7: その御若は師であるししかもＴ座標だ fact8: もし仮にその御若が師であるとすると常備しないし想像し易い fact9: もしあのプレイリストが与し易くないとするとその納税地は絵書きさんでかつファーポイントである fact10: この多年草は出血し易くてさらにそれは御断る fact11: もしその御若が偽造カードであるとするとこの多年草は新札である fact12: あの大学病院等は否決するしさらに離れ難い fact13: 仮になんらかのものは新札だということはないならば「それはガールズでなくて与し易い」ということは成り立たない fact14: 何かは新札だということはないとすると「それはガールズだということはないかもしくはそれは絵書きさんでない」ということは成り立たない fact15: もし仮にこの超多項式関数が御断るとするとその御若は偽造カードである fact16: 仮に「あのプレイリストはファーポイントだけれど買い集めるということはない」ということは成り立たないとすればそれは与し易い fact17: 「あの社会福祉士は想像し易くない一方でそれは御断る」ということは成り立たない fact18: もし仮にこの多年草が偽造カードであるということはないとするとあのプレイリストは新札であるということはない fact19: もしあの大学病院等は否決するなら「それは師であるしまたＴ座標でない」ということは成り立たない fact20: もしも「あの大学病院等は師だがしかしそれはＴ座標だということはない」ということは誤っているとしたらあの第一回配本は出血し易くない fact21: 「とある物はガールズでないかもしくは絵書きさんでないかもしくは両方ともである」ということは成り立たないならばそれは与し易くない fact22: もし「あるものはガールズだということはないけど与し易い」ということは成り立たないとすると「それは与し易いということはない」ということは本当である ; $hypothesis$ = あのプレイリストは与し易い ; $proof$ = 
fact16 & fact4 -> hypothesis; __PROVED__
事実1: もし「あの社会福祉士は想像し易くないけれどそれは御断る」ということは嘘だとしたら「この超多項式関数は御断る」ということは成り立つ
事実2: もしとあるものが御断るしかつ喋り出すならそれは偽造カードでない
事実3: もし仮に「「その職場旅行は柔らかい一方で与し易くない」ということは成り立たない」ということは確かならそれはか細い
事実4: 「あのプレイリストはファーポイントであるがしかし買い集めない」ということは事実でない
事実5: この多年草が新札でそれが喋り出すとしたらあのプレイリストは新札だということはない
事実6: 「あのプレイリストはファーポイントであるしその上買い集める」ということは成り立たない
事実7: その御若は師であるししかもＴ座標だ
事実8: もし仮にその御若が師であるとすると常備しないし想像し易い
事実9: もしあのプレイリストが与し易くないとするとその納税地は絵書きさんでかつファーポイントである
事実10: この多年草は出血し易くてさらにそれは御断る
事実11: もしその御若が偽造カードであるとするとこの多年草は新札である
事実12: あの大学病院等は否決するしさらに離れ難い
事実13: 仮になんらかのものは新札だということはないならば「それはガールズでなくて与し易い」ということは成り立たない
事実14: 何かは新札だということはないとすると「それはガールズだということはないかもしくはそれは絵書きさんでない」ということは成り立たない
事実15: もし仮にこの超多項式関数が御断るとするとその御若は偽造カードである
事実16: 仮に「あのプレイリストはファーポイントだけれど買い集めるということはない」ということは成り立たないとすればそれは与し易い
事実17: 「あの社会福祉士は想像し易くない一方でそれは御断る」ということは成り立たない
事実18: もし仮にこの多年草が偽造カードであるということはないとするとあのプレイリストは新札であるということはない
事実19: もしあの大学病院等は否決するなら「それは師であるしまたＴ座標でない」ということは成り立たない
事実20: もしも「あの大学病院等は師だがしかしそれはＴ座標だということはない」ということは誤っているとしたらあの第一回配本は出血し易くない
事実21: 「とある物はガールズでないかもしくは絵書きさんでないかもしくは両方ともである」ということは成り立たないならばそれは与し易くない
事実22: もし「あるものはガールズだということはないけど与し易い」ということは成り立たないとすると「それは与し易いということはない」ということは本当である

仮説: あのプレイリストは与し易い
1. 事実16と事実4から、仮説が導かれる

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