「あの石段下は嫉妬深い」ということは真実だ
fact1: もしその将軍自身が嫉妬深いならあの石段下は嫉妬深い fact2: 「この公家は御取り下さらない」ということは本当だ fact3: あの石段下は気付き始める fact4: その将軍自身は御取り下さる fact5: あの観世流は御取り下さらない fact6: その将軍自身はデザインする fact7: 「あの志染支店は嫉妬深くない」ということは誤っている fact8: その目的原理主義は医大であるしかつ茶色っぽい fact9: あの石段下はデザインする fact10: 仮にその将軍自身がデザインするしそれが嫉妬深いとするとあの石段下は御取り下さらない fact11: あの石段下は御取り下さる fact12: その労働安全は御取り下さる fact13: あの芽摘み・葉透かしはデザインする fact14: 「あの裳階は面白がる」ということは成り立つ fact15: その藍作地帯は実用するし更にデザインする fact16: その将軍自身は御取り下さるしデザインするなら「あの石段下は嫉妬深くない」ということは事実だ
fact4 & fact6 -> int1: その将軍自身は御取り下さるしそれはデザインする; int1 & fact16 -> hypothesis;
あの裳階は面白がるし転売する
$facts$ = fact1: もしその将軍自身が嫉妬深いならあの石段下は嫉妬深い fact2: 「この公家は御取り下さらない」ということは本当だ fact3: あの石段下は気付き始める fact4: その将軍自身は御取り下さる fact5: あの観世流は御取り下さらない fact6: その将軍自身はデザインする fact7: 「あの志染支店は嫉妬深くない」ということは誤っている fact8: その目的原理主義は医大であるしかつ茶色っぽい fact9: あの石段下はデザインする fact10: 仮にその将軍自身がデザインするしそれが嫉妬深いとするとあの石段下は御取り下さらない fact11: あの石段下は御取り下さる fact12: その労働安全は御取り下さる fact13: あの芽摘み・葉透かしはデザインする fact14: 「あの裳階は面白がる」ということは成り立つ fact15: その藍作地帯は実用するし更にデザインする fact16: その将軍自身は御取り下さるしデザインするなら「あの石段下は嫉妬深くない」ということは事実だ ; $hypothesis$ = 「あの石段下は嫉妬深い」ということは真実だ ; $proof$ = 
fact4 & fact6 -> int1: その将軍自身は御取り下さるしそれはデザインする; int1 & fact16 -> hypothesis; __DISPROVED__
事実1: もしその将軍自身が嫉妬深いならあの石段下は嫉妬深い
事実2: 「この公家は御取り下さらない」ということは本当だ
事実3: あの石段下は気付き始める
事実4: その将軍自身は御取り下さる
事実5: あの観世流は御取り下さらない
事実6: その将軍自身はデザインする
事実7: 「あの志染支店は嫉妬深くない」ということは誤っている
事実8: その目的原理主義は医大であるしかつ茶色っぽい
事実9: あの石段下はデザインする
事実10: 仮にその将軍自身がデザインするしそれが嫉妬深いとするとあの石段下は御取り下さらない
事実11: あの石段下は御取り下さる
事実12: その労働安全は御取り下さる
事実13: あの芽摘み・葉透かしはデザインする
事実14: 「あの裳階は面白がる」ということは成り立つ
事実15: その藍作地帯は実用するし更にデザインする
事実16: その将軍自身は御取り下さるしデザインするなら「あの石段下は嫉妬深くない」ということは事実だ

仮説: 「あの石段下は嫉妬深い」ということは真実だ
1. 事実4と事実6から、推論1: "その将軍自身は御取り下さるしそれはデザインする"が導かれる
2. 推論1と事実16から、仮説が否定される

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