「この市立図書館は厚遇するしまた素早い」ということは成り立たない
fact1: もし仮にとある物は下り始めないとすると「厚遇するしおまけに素早い」ということは成り立たない fact2: あの花嫁さんは下り始める fact3: 仮にこの市立図書館が厚遇するとするとそれは賢い fact4: この市立図書館はクレヨンである fact5: もしこの市立図書館が下り始めるとすると厚遇する fact6: この市立図書館は怖ーい fact7: あのジベタリアンは素早いしおまけにそれは活動し易い fact8: その拘束具は下り始める fact9: その昨年夏は駆け巡る fact10: この子さんは厚遇する fact11: この市立図書館は駆け巡る fact12: 怖ーい物は火炎滅菌しない fact13: この同質は怖ーいし販売金額である fact14: この市立図書館は安眠する fact15: この注入圧は駆け巡る fact16: 仮にこの市立図書館が駆け巡るとするとそれは素早い fact17: この市立図書館は下り始める
fact5 & fact17 -> int1: この市立図書館は厚遇する; fact11 & fact16 -> int2: この市立図書館は素早い; int1 & int2 -> hypothesis;
「この市立図書館は厚遇するし更に素早い」ということは成り立たない
fact19 -> int3: もしもこの市立図書館は下り始めるということはないなら「厚遇するし素早い」ということは確かでない; fact18 -> int4: もし仮にこの同質が怖ーいとすれば火炎滅菌しない; fact20 -> int5: この同質は怖ーい; int4 & int5 -> int6: この同質は火炎滅菌しない; int6 -> int7: 「火炎滅菌しない」ものはある;
$facts$ = fact1: もし仮にとある物は下り始めないとすると「厚遇するしおまけに素早い」ということは成り立たない fact2: あの花嫁さんは下り始める fact3: 仮にこの市立図書館が厚遇するとするとそれは賢い fact4: この市立図書館はクレヨンである fact5: もしこの市立図書館が下り始めるとすると厚遇する fact6: この市立図書館は怖ーい fact7: あのジベタリアンは素早いしおまけにそれは活動し易い fact8: その拘束具は下り始める fact9: その昨年夏は駆け巡る fact10: この子さんは厚遇する fact11: この市立図書館は駆け巡る fact12: 怖ーい物は火炎滅菌しない fact13: この同質は怖ーいし販売金額である fact14: この市立図書館は安眠する fact15: この注入圧は駆け巡る fact16: 仮にこの市立図書館が駆け巡るとするとそれは素早い fact17: この市立図書館は下り始める ; $hypothesis$ = 「この市立図書館は厚遇するしまた素早い」ということは成り立たない ; $proof$ = 
fact5 & fact17 -> int1: この市立図書館は厚遇する; fact11 & fact16 -> int2: この市立図書館は素早い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にとある物は下り始めないとすると「厚遇するしおまけに素早い」ということは成り立たない
事実2: あの花嫁さんは下り始める
事実3: 仮にこの市立図書館が厚遇するとするとそれは賢い
事実4: この市立図書館はクレヨンである
事実5: もしこの市立図書館が下り始めるとすると厚遇する
事実6: この市立図書館は怖ーい
事実7: あのジベタリアンは素早いしおまけにそれは活動し易い
事実8: その拘束具は下り始める
事実9: その昨年夏は駆け巡る
事実10: この子さんは厚遇する
事実11: この市立図書館は駆け巡る
事実12: 怖ーい物は火炎滅菌しない
事実13: この同質は怖ーいし販売金額である
事実14: この市立図書館は安眠する
事実15: この注入圧は駆け巡る
事実16: 仮にこの市立図書館が駆け巡るとするとそれは素早い
事実17: この市立図書館は下り始める

仮説: 「この市立図書館は厚遇するしまた素早い」ということは成り立たない
1. 事実5と事実17から、推論1: "この市立図書館は厚遇する"が導かれる
2. 事実11と事実16から、推論2: "この市立図書館は素早い"が導かれる
3. 推論1と推論2から、仮説が否定される

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