その皿饂飩は呼び捨てない
fact1: その皿饂飩は呼び捨てるかもしくは避け難い fact2: その報国が避け難くないとすれば芳しい fact3: あのポリウレタン樹脂は話し易いかあるいは青褪める fact4: 何もかもは話し易くないか青褪めるか両方である fact5: もしもあのポリウレタン樹脂が八十参照ならば避け難い fact6: 仮になんらかのものが話し易くないかあるいは青褪めるとしたら「それは八十参照だ」ということは誤っていない fact7: もし仮にあのポリウレタン樹脂が避け難いならばその皿饂飩は呼び捨てる fact8: 仮になにがしかの物は八十〜九十年代であるならそれは八十参照である fact9: その皿饂飩は捜査陣でないかまたは呼び捨てるかもしくは両方ともであるとするとそれは降り出す fact10: 仮に「なにがしかのものは需要曲線だ一方で八十〜九十年代でない」ということは誤っているとすれば「八十〜九十年代である」ということは正しい fact11: あらゆるものは避け難くないかもしくは青褪めるかどちらもだ fact12: あるものが呼び捨てるということはないなら避け難くて八十参照だ
fact6 -> int1: 仮にあのポリウレタン樹脂が話し易くないかあるいは青褪めるか両方だとすれば八十参照だ; fact4 -> int2: あのポリウレタン樹脂は話し易くないかあるいは青褪めるか両方である; int1 & int2 -> int3: あのポリウレタン樹脂は八十参照である; int3 & fact5 -> int4: あのポリウレタン樹脂は避け難い; int4 & fact7 -> hypothesis;
その皿饂飩は避け難い
fact13 -> int5: 仮にその皿饂飩が呼び捨てないとしたら避け難くて八十参照である;
$facts$ = fact1: その皿饂飩は呼び捨てるかもしくは避け難い fact2: その報国が避け難くないとすれば芳しい fact3: あのポリウレタン樹脂は話し易いかあるいは青褪める fact4: 何もかもは話し易くないか青褪めるか両方である fact5: もしもあのポリウレタン樹脂が八十参照ならば避け難い fact6: 仮になんらかのものが話し易くないかあるいは青褪めるとしたら「それは八十参照だ」ということは誤っていない fact7: もし仮にあのポリウレタン樹脂が避け難いならばその皿饂飩は呼び捨てる fact8: 仮になにがしかの物は八十〜九十年代であるならそれは八十参照である fact9: その皿饂飩は捜査陣でないかまたは呼び捨てるかもしくは両方ともであるとするとそれは降り出す fact10: 仮に「なにがしかのものは需要曲線だ一方で八十〜九十年代でない」ということは誤っているとすれば「八十〜九十年代である」ということは正しい fact11: あらゆるものは避け難くないかもしくは青褪めるかどちらもだ fact12: あるものが呼び捨てるということはないなら避け難くて八十参照だ ; $hypothesis$ = その皿饂飩は呼び捨てない ; $proof$ = 
fact6 -> int1: 仮にあのポリウレタン樹脂が話し易くないかあるいは青褪めるか両方だとすれば八十参照だ; fact4 -> int2: あのポリウレタン樹脂は話し易くないかあるいは青褪めるか両方である; int1 & int2 -> int3: あのポリウレタン樹脂は八十参照である; int3 & fact5 -> int4: あのポリウレタン樹脂は避け難い; int4 & fact7 -> hypothesis; __DISPROVED__
事実1: その皿饂飩は呼び捨てるかもしくは避け難い
事実2: その報国が避け難くないとすれば芳しい
事実3: あのポリウレタン樹脂は話し易いかあるいは青褪める
事実4: 何もかもは話し易くないか青褪めるか両方である
事実5: もしもあのポリウレタン樹脂が八十参照ならば避け難い
事実6: 仮になんらかのものが話し易くないかあるいは青褪めるとしたら「それは八十参照だ」ということは誤っていない
事実7: もし仮にあのポリウレタン樹脂が避け難いならばその皿饂飩は呼び捨てる
事実8: 仮になにがしかの物は八十〜九十年代であるならそれは八十参照である
事実9: その皿饂飩は捜査陣でないかまたは呼び捨てるかもしくは両方ともであるとするとそれは降り出す
事実10: 仮に「なにがしかのものは需要曲線だ一方で八十〜九十年代でない」ということは誤っているとすれば「八十〜九十年代である」ということは正しい
事実11: あらゆるものは避け難くないかもしくは青褪めるかどちらもだ
事実12: あるものが呼び捨てるということはないなら避け難くて八十参照だ

仮説: その皿饂飩は呼び捨てない
1. 事実6から、推論1: "仮にあのポリウレタン樹脂が話し易くないかあるいは青褪めるか両方だとすれば八十参照だ"が導かれる
2. 事実4から、推論2: "あのポリウレタン樹脂は話し易くないかあるいは青褪めるか両方である"が導かれる
3. 推論1と推論2から、推論3: "あのポリウレタン樹脂は八十参照である"が導かれる
4. 推論3と事実5から、推論4: "あのポリウレタン樹脂は避け難い"が導かれる
5. 推論4と事実7から、仮説が否定される

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