「その予定外は判断し難くないし奏上でない」ということは成り立たない
fact1: 「「その予定外は奏上でなくて維持・向上であるということはない」ということは本当である」ということは間違いである fact2: 「甘ーいものは都市住民である」ということは偽でない fact3: もしその予定外は漏れ無くないとしたら「この社会保障制度審議会は判断し難くないし動かし続けない」ということは事実と異なる fact4: 「「その予定外は退転しないしおまけにそれは出所しない」ということは誤っている」ということは正しい fact5: 「その予定外は要援護者でないしそれは中和しない」ということは成り立つということはない fact6: どれもこれもは甘ーいしそれにライラックである fact7: 「その予定外は呼吸不全であるということはないし加えて判断し難いということはない」ということは成り立つということはない fact8: 「「その予定外は判断し難くないしそれは奏上でない」ということは正しい」ということは間違いだ fact9: 「その予定外は判断し難くないがしかし奏上である」ということは成り立たない fact10: 都市住民はちぎれ易いけど漏れ無くない fact11: 「この実用新案権が貸し付けないしさらにそれは掴まない」ということは偽である fact12: ライラックは甘ーい fact13: 「その予定外は合意出来なくて奏上でない」ということは間違いだ fact14: 「この女性型は訪中しなくてしかも鳥でない」ということは成り立たない fact15: 「「その予定外は判断し難いがそれは奏上でない」ということは成り立つ」ということは嘘である fact16: 甘ーいものはちぎれ易いか都市住民でないかあるいはどちらもである
fact8 -> hypothesis;
fact8 -> hypothesis;
「この社会保障制度審議会は判断し難いということはないしかつ動かし続けない」ということは事実と異なる
fact20 -> int1: もしもその予定外が都市住民だとするとそれはちぎれ易いけど漏れ無いということはない; fact17 -> int2: もし仮にその予定外が甘ーいなら都市住民である; fact18 -> int3: その予定外はライラックであるならそれは甘ーい;
$facts$ = fact1: 「「その予定外は奏上でなくて維持・向上であるということはない」ということは本当である」ということは間違いである fact2: 「甘ーいものは都市住民である」ということは偽でない fact3: もしその予定外は漏れ無くないとしたら「この社会保障制度審議会は判断し難くないし動かし続けない」ということは事実と異なる fact4: 「「その予定外は退転しないしおまけにそれは出所しない」ということは誤っている」ということは正しい fact5: 「その予定外は要援護者でないしそれは中和しない」ということは成り立つということはない fact6: どれもこれもは甘ーいしそれにライラックである fact7: 「その予定外は呼吸不全であるということはないし加えて判断し難いということはない」ということは成り立つということはない fact8: 「「その予定外は判断し難くないしそれは奏上でない」ということは正しい」ということは間違いだ fact9: 「その予定外は判断し難くないがしかし奏上である」ということは成り立たない fact10: 都市住民はちぎれ易いけど漏れ無くない fact11: 「この実用新案権が貸し付けないしさらにそれは掴まない」ということは偽である fact12: ライラックは甘ーい fact13: 「その予定外は合意出来なくて奏上でない」ということは間違いだ fact14: 「この女性型は訪中しなくてしかも鳥でない」ということは成り立たない fact15: 「「その予定外は判断し難いがそれは奏上でない」ということは成り立つ」ということは嘘である fact16: 甘ーいものはちぎれ易いか都市住民でないかあるいはどちらもである ; $hypothesis$ = 「その予定外は判断し難くないし奏上でない」ということは成り立たない ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 「「その予定外は奏上でなくて維持・向上であるということはない」ということは本当である」ということは間違いである
事実2: 「甘ーいものは都市住民である」ということは偽でない
事実3: もしその予定外は漏れ無くないとしたら「この社会保障制度審議会は判断し難くないし動かし続けない」ということは事実と異なる
事実4: 「「その予定外は退転しないしおまけにそれは出所しない」ということは誤っている」ということは正しい
事実5: 「その予定外は要援護者でないしそれは中和しない」ということは成り立つということはない
事実6: どれもこれもは甘ーいしそれにライラックである
事実7: 「その予定外は呼吸不全であるということはないし加えて判断し難いということはない」ということは成り立つということはない
事実8: 「「その予定外は判断し難くないしそれは奏上でない」ということは正しい」ということは間違いだ
事実9: 「その予定外は判断し難くないがしかし奏上である」ということは成り立たない
事実10: 都市住民はちぎれ易いけど漏れ無くない
事実11: 「この実用新案権が貸し付けないしさらにそれは掴まない」ということは偽である
事実12: ライラックは甘ーい
事実13: 「その予定外は合意出来なくて奏上でない」ということは間違いだ
事実14: 「この女性型は訪中しなくてしかも鳥でない」ということは成り立たない
事実15: 「「その予定外は判断し難いがそれは奏上でない」ということは成り立つ」ということは嘘である
事実16: 甘ーいものはちぎれ易いか都市住民でないかあるいはどちらもである

仮説: 「その予定外は判断し難くないし奏上でない」ということは成り立たない
1. 事実8から、仮説が導かれる

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