「その雌猫は広まるかまたはベッド柵でないかどちらもである」ということは嘘だ
fact1: 「その溝加工はガードブレイクしない」ということは事実と異なる fact2: もしもその雌猫が住み慣れるしそれがガードブレイクするならベッド柵でない fact3: 「そのボックス内は住み慣れる」ということは確かである fact4: その雌猫は広まるかあるいはそれはミキサー食でないかまたは両方だ fact5: その雌猫はコンタクトするか乗り上げるかどちらもである fact6: その様変わりは戦ぐかあるいはそれはベッド柵であるかまたは両方ともである fact7: もしもその雌猫が住み慣れるがしかしベッド柵でないならこの六十五人はガードブレイクする fact8: その雌猫は住み慣れるかあるいはそれは傾き易いかもしくは両方ともだ fact9: この拘留中はベッド柵である fact10: その雌猫はガードブレイクするかアプローチし易いかまたはどちらもだ fact11: その雌猫はこっ酷い fact12: その宗吉図は従えるということはないとすると「あの生徒さん達は作り終えるし加えて広まる」ということは嘘である fact13: もし仮にその雌猫は貫流するし更に介入すれば「ガードブレイクしない」ということは正しい fact14: 「その雌猫はガードブレイクしない」ということは事実と異なる fact15: 「その雌猫は住み慣れる」ということは確かである fact16: もしこのサムタイムは言い難くて低しなら雪女でない fact17: その雌猫は広まるかベッド柵であるかどちらもだ
fact15 & fact14 -> int1: その雌猫は住み慣れるしガードブレイクする; int1 & fact2 -> int2: その雌猫はベッド柵でない; int2 -> hypothesis;
fact15 & fact14 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{a}; int2 -> hypothesis;
この六十五人はガードブレイクする
$facts$ = fact1: 「その溝加工はガードブレイクしない」ということは事実と異なる fact2: もしもその雌猫が住み慣れるしそれがガードブレイクするならベッド柵でない fact3: 「そのボックス内は住み慣れる」ということは確かである fact4: その雌猫は広まるかあるいはそれはミキサー食でないかまたは両方だ fact5: その雌猫はコンタクトするか乗り上げるかどちらもである fact6: その様変わりは戦ぐかあるいはそれはベッド柵であるかまたは両方ともである fact7: もしもその雌猫が住み慣れるがしかしベッド柵でないならこの六十五人はガードブレイクする fact8: その雌猫は住み慣れるかあるいはそれは傾き易いかもしくは両方ともだ fact9: この拘留中はベッド柵である fact10: その雌猫はガードブレイクするかアプローチし易いかまたはどちらもだ fact11: その雌猫はこっ酷い fact12: その宗吉図は従えるということはないとすると「あの生徒さん達は作り終えるし加えて広まる」ということは嘘である fact13: もし仮にその雌猫は貫流するし更に介入すれば「ガードブレイクしない」ということは正しい fact14: 「その雌猫はガードブレイクしない」ということは事実と異なる fact15: 「その雌猫は住み慣れる」ということは確かである fact16: もしこのサムタイムは言い難くて低しなら雪女でない fact17: その雌猫は広まるかベッド柵であるかどちらもだ ; $hypothesis$ = 「その雌猫は広まるかまたはベッド柵でないかどちらもである」ということは嘘だ ; $proof$ = 
fact15 & fact14 -> int1: その雌猫は住み慣れるしガードブレイクする; int1 & fact2 -> int2: その雌猫はベッド柵でない; int2 -> hypothesis; __DISPROVED__
事実1: 「その溝加工はガードブレイクしない」ということは事実と異なる
事実2: もしもその雌猫が住み慣れるしそれがガードブレイクするならベッド柵でない
事実3: 「そのボックス内は住み慣れる」ということは確かである
事実4: その雌猫は広まるかあるいはそれはミキサー食でないかまたは両方だ
事実5: その雌猫はコンタクトするか乗り上げるかどちらもである
事実6: その様変わりは戦ぐかあるいはそれはベッド柵であるかまたは両方ともである
事実7: もしもその雌猫が住み慣れるがしかしベッド柵でないならこの六十五人はガードブレイクする
事実8: その雌猫は住み慣れるかあるいはそれは傾き易いかもしくは両方ともだ
事実9: この拘留中はベッド柵である
事実10: その雌猫はガードブレイクするかアプローチし易いかまたはどちらもだ
事実11: その雌猫はこっ酷い
事実12: その宗吉図は従えるということはないとすると「あの生徒さん達は作り終えるし加えて広まる」ということは嘘である
事実13: もし仮にその雌猫は貫流するし更に介入すれば「ガードブレイクしない」ということは正しい
事実14: 「その雌猫はガードブレイクしない」ということは事実と異なる
事実15: 「その雌猫は住み慣れる」ということは確かである
事実16: もしこのサムタイムは言い難くて低しなら雪女でない
事実17: その雌猫は広まるかベッド柵であるかどちらもだ

仮説: 「その雌猫は広まるかまたはベッド柵でないかどちらもである」ということは嘘だ
1. 事実15と事実14から、推論1: "その雌猫は住み慣れるしガードブレイクする"が導かれる
2. 推論1と事実2から、推論2: "その雌猫はベッド柵でない"が導かれる
3. 推論2から、仮説が否定される

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