そのＵＲＩは饐える
fact1: 仮に「何らかのものが要約文だしそれは進み易い」ということは成り立つということはないとすればそれは外食しない fact2: 「もし仮にそのＵＲＩが味わい得るけれど反論し掛けないならばその百七十人は饐えない」ということは成り立つ fact3: もしもそのＵＲＩは饐える一方で反論し掛けないとすると「その百七十人は味わい得ない」ということは事実だ fact4: そのＵＲＩは味わい得ない fact5: もし仮にその百七十人が饐える一方で反論し掛けないとすればそのＵＲＩは味わい得ない fact6: もしもそのＵＲＩが饐えるということはないしさらに反論し掛けるということはないとすればその百七十人は味わい得るということはない fact7: その百七十人は饐えない fact8: 「履けないかあるいは冷めるということはないかまたはどちらもである」物があるならそのジュニアはしいんとしない fact9: 「この油入ブッシングは味わい得ない」ということは正しい fact10: ある物は履けないかそれは冷めないかまたは両方だ fact11: そのＵＲＩが反論し掛けないしそれが饐えないならその百七十人は味わい得ない fact12: もしもそのＵＲＩが味わい得ないし加えて反論し掛けないならその百七十人は饐えない fact13: その百七十人は味わい得ないしおまけに反論し掛けない fact14: その百七十人が味わい得なくて反論し掛けないならばそのＵＲＩは饐えない fact15: もしそのＵＲＩが反論し掛けないし加えて味わい得ないならばその百七十人は饐えない
fact14 & fact13 -> hypothesis;
fact14 & fact13 -> hypothesis;
「そのＵＲＩは饐える」ということは嘘でない
fact18 -> int1: もし仮に「その百七十人は要約文でかつそれは進み易い」ということは誤りだとしたらそれは外食しない; fact17 & fact16 -> int2: そのジュニアはしいんとしない; int2 -> int3: 「しいんとしない」ものはある;
$facts$ = fact1: 仮に「何らかのものが要約文だしそれは進み易い」ということは成り立つということはないとすればそれは外食しない fact2: 「もし仮にそのＵＲＩが味わい得るけれど反論し掛けないならばその百七十人は饐えない」ということは成り立つ fact3: もしもそのＵＲＩは饐える一方で反論し掛けないとすると「その百七十人は味わい得ない」ということは事実だ fact4: そのＵＲＩは味わい得ない fact5: もし仮にその百七十人が饐える一方で反論し掛けないとすればそのＵＲＩは味わい得ない fact6: もしもそのＵＲＩが饐えるということはないしさらに反論し掛けるということはないとすればその百七十人は味わい得るということはない fact7: その百七十人は饐えない fact8: 「履けないかあるいは冷めるということはないかまたはどちらもである」物があるならそのジュニアはしいんとしない fact9: 「この油入ブッシングは味わい得ない」ということは正しい fact10: ある物は履けないかそれは冷めないかまたは両方だ fact11: そのＵＲＩが反論し掛けないしそれが饐えないならその百七十人は味わい得ない fact12: もしもそのＵＲＩが味わい得ないし加えて反論し掛けないならその百七十人は饐えない fact13: その百七十人は味わい得ないしおまけに反論し掛けない fact14: その百七十人が味わい得なくて反論し掛けないならばそのＵＲＩは饐えない fact15: もしそのＵＲＩが反論し掛けないし加えて味わい得ないならばその百七十人は饐えない ; $hypothesis$ = そのＵＲＩは饐える ; $proof$ = 
fact14 & fact13 -> hypothesis; __DISPROVED__
事実1: 仮に「何らかのものが要約文だしそれは進み易い」ということは成り立つということはないとすればそれは外食しない
事実2: 「もし仮にそのＵＲＩが味わい得るけれど反論し掛けないならばその百七十人は饐えない」ということは成り立つ
事実3: もしもそのＵＲＩは饐える一方で反論し掛けないとすると「その百七十人は味わい得ない」ということは事実だ
事実4: そのＵＲＩは味わい得ない
事実5: もし仮にその百七十人が饐える一方で反論し掛けないとすればそのＵＲＩは味わい得ない
事実6: もしもそのＵＲＩが饐えるということはないしさらに反論し掛けるということはないとすればその百七十人は味わい得るということはない
事実7: その百七十人は饐えない
事実8: 「履けないかあるいは冷めるということはないかまたはどちらもである」物があるならそのジュニアはしいんとしない
事実9: 「この油入ブッシングは味わい得ない」ということは正しい
事実10: ある物は履けないかそれは冷めないかまたは両方だ
事実11: そのＵＲＩが反論し掛けないしそれが饐えないならその百七十人は味わい得ない
事実12: もしもそのＵＲＩが味わい得ないし加えて反論し掛けないならその百七十人は饐えない
事実13: その百七十人は味わい得ないしおまけに反論し掛けない
事実14: その百七十人が味わい得なくて反論し掛けないならばそのＵＲＩは饐えない
事実15: もしそのＵＲＩが反論し掛けないし加えて味わい得ないならばその百七十人は饐えない

仮説: そのＵＲＩは饐える
1. 事実14と事実13から、仮説が否定される

よって、仮説が否定されました。