このステイヤーは後ろ暗い
fact1: このステイヤーは後ろ暗いかもしくは洒落臭い fact2: その屋側は洒落臭い fact3: このステイヤーは洒落臭い fact4: その屋側は薙ぎ倒す fact5: 仮にその屋側は監視担当部門であるということはないとすれば「それは土塀であるし洒落臭い」ということは間違いである fact6: このステイヤーは洒落臭いか後ろ暗い fact7: もし仮にその屋側が敢え無いかまたは洒落臭いかあるいは両方であるならこのステイヤーは後ろ暗くない fact8: もしその屋側が敢え無いかあるいはそれが後ろ暗いとしたらこのステイヤーは洒落臭くない fact9: もし仮に「その屋側は学年であるかあるいは土塀であるかまたはどちらもだ」ということは事実であるということはないとすればそれは監視担当部門でない fact10: その屋側は監視担当部門だということはないししかも学年でない fact11: 「その屋側が敢え無いとするとこのステイヤーは後ろ暗くない」ということは事実だ fact12: もし仮にその屋側が後ろ暗いかあるいはそれが洒落臭いとしたらこのステイヤーは敢え無くない
fact2 -> int1: その屋側は敢え無いか洒落臭い; int1 & fact7 -> hypothesis;
あの発展性は仲間入りするかもしくは敢え無いかもしくは両方ともである
$facts$ = fact1: このステイヤーは後ろ暗いかもしくは洒落臭い fact2: その屋側は洒落臭い fact3: このステイヤーは洒落臭い fact4: その屋側は薙ぎ倒す fact5: 仮にその屋側は監視担当部門であるということはないとすれば「それは土塀であるし洒落臭い」ということは間違いである fact6: このステイヤーは洒落臭いか後ろ暗い fact7: もし仮にその屋側が敢え無いかまたは洒落臭いかあるいは両方であるならこのステイヤーは後ろ暗くない fact8: もしその屋側が敢え無いかあるいはそれが後ろ暗いとしたらこのステイヤーは洒落臭くない fact9: もし仮に「その屋側は学年であるかあるいは土塀であるかまたはどちらもだ」ということは事実であるということはないとすればそれは監視担当部門でない fact10: その屋側は監視担当部門だということはないししかも学年でない fact11: 「その屋側が敢え無いとするとこのステイヤーは後ろ暗くない」ということは事実だ fact12: もし仮にその屋側が後ろ暗いかあるいはそれが洒落臭いとしたらこのステイヤーは敢え無くない ; $hypothesis$ = このステイヤーは後ろ暗い ; $proof$ = 
fact2 -> int1: その屋側は敢え無いか洒落臭い; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: このステイヤーは後ろ暗いかもしくは洒落臭い
事実2: その屋側は洒落臭い
事実3: このステイヤーは洒落臭い
事実4: その屋側は薙ぎ倒す
事実5: 仮にその屋側は監視担当部門であるということはないとすれば「それは土塀であるし洒落臭い」ということは間違いである
事実6: このステイヤーは洒落臭いか後ろ暗い
事実7: もし仮にその屋側が敢え無いかまたは洒落臭いかあるいは両方であるならこのステイヤーは後ろ暗くない
事実8: もしその屋側が敢え無いかあるいはそれが後ろ暗いとしたらこのステイヤーは洒落臭くない
事実9: もし仮に「その屋側は学年であるかあるいは土塀であるかまたはどちらもだ」ということは事実であるということはないとすればそれは監視担当部門でない
事実10: その屋側は監視担当部門だということはないししかも学年でない
事実11: 「その屋側が敢え無いとするとこのステイヤーは後ろ暗くない」ということは事実だ
事実12: もし仮にその屋側が後ろ暗いかあるいはそれが洒落臭いとしたらこのステイヤーは敢え無くない

仮説: このステイヤーは後ろ暗い
1. 事実2から、推論1: "その屋側は敢え無いか洒落臭い"が導かれる
2. 推論1と事実7から、仮説が否定される

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