その霊長が皮膚テストだし更にそれは大浦天主堂である
fact1: もし何かは噛み合うとするとそれは皮膚テストだ fact2: 仮にこの充当関係が上半身裸だとしたらその霊長は関係深くないかもしくはそれは積み終わるかあるいは両方ともである fact3: もしこの充当関係は魔球でないなら「それはぶっといし更に防長でない」ということは嘘だ fact4: その霊長は大浦天主堂である fact5: もし何らかの物が関係深いということはないか積み終わるとすると「それは噛み合う」ということは本当である fact6: この充当関係は魔球でない fact7: 仮に「この充当関係はぶっとい一方で防長でない」ということは成り立たないとしたら一般家屋だ fact8: もし仮にこの充当関係は一般家屋であるとしたら上半身裸だ
fact3 & fact6 -> int1: 「この充当関係はぶっといけれど防長だということはない」ということは本当でない; int1 & fact7 -> int2: この充当関係は一般家屋だ; int2 & fact8 -> int3: この充当関係は上半身裸である; int3 & fact2 -> int4: その霊長は関係深くないかあるいは積み終わるかまたは両方ともだ; fact5 -> int5: その霊長が関係深くないかもしくはそれは積み終わるかもしくはどちらもであるとしたら「それは噛み合う」ということは誤っているということはない; int4 & int5 -> int6: その霊長は噛み合う; fact1 -> int7: もし仮にその霊長が噛み合うなら皮膚テストだ; int6 & int7 -> int8: その霊長は皮膚テストだ; int8 & fact4 -> hypothesis;
$facts$ = fact1: もし何かは噛み合うとするとそれは皮膚テストだ fact2: 仮にこの充当関係が上半身裸だとしたらその霊長は関係深くないかもしくはそれは積み終わるかあるいは両方ともである fact3: もしこの充当関係は魔球でないなら「それはぶっといし更に防長でない」ということは嘘だ fact4: その霊長は大浦天主堂である fact5: もし何らかの物が関係深いということはないか積み終わるとすると「それは噛み合う」ということは本当である fact6: この充当関係は魔球でない fact7: 仮に「この充当関係はぶっとい一方で防長でない」ということは成り立たないとしたら一般家屋だ fact8: もし仮にこの充当関係は一般家屋であるとしたら上半身裸だ ; $hypothesis$ = その霊長が皮膚テストだし更にそれは大浦天主堂である ; $proof$ = 
fact3 & fact6 -> int1: 「この充当関係はぶっといけれど防長だということはない」ということは本当でない; int1 & fact7 -> int2: この充当関係は一般家屋だ; int2 & fact8 -> int3: この充当関係は上半身裸である; int3 & fact2 -> int4: その霊長は関係深くないかあるいは積み終わるかまたは両方ともだ; fact5 -> int5: その霊長が関係深くないかもしくはそれは積み終わるかもしくはどちらもであるとしたら「それは噛み合う」ということは誤っているということはない; int4 & int5 -> int6: その霊長は噛み合う; fact1 -> int7: もし仮にその霊長が噛み合うなら皮膚テストだ; int6 & int7 -> int8: その霊長は皮膚テストだ; int8 & fact4 -> hypothesis; __PROVED__
事実1: もし何かは噛み合うとするとそれは皮膚テストだ
事実2: 仮にこの充当関係が上半身裸だとしたらその霊長は関係深くないかもしくはそれは積み終わるかあるいは両方ともである
事実3: もしこの充当関係は魔球でないなら「それはぶっといし更に防長でない」ということは嘘だ
事実4: その霊長は大浦天主堂である
事実5: もし何らかの物が関係深いということはないか積み終わるとすると「それは噛み合う」ということは本当である
事実6: この充当関係は魔球でない
事実7: 仮に「この充当関係はぶっとい一方で防長でない」ということは成り立たないとしたら一般家屋だ
事実8: もし仮にこの充当関係は一般家屋であるとしたら上半身裸だ

仮説: その霊長が皮膚テストだし更にそれは大浦天主堂である
1. 事実3と事実6から、推論1: "「この充当関係はぶっといけれど防長だということはない」ということは本当でない"が導かれる
2. 推論1と事実7から、推論2: "この充当関係は一般家屋だ"が導かれる
3. 推論2と事実8から、推論3: "この充当関係は上半身裸である"が導かれる
4. 推論3と事実2から、推論4: "その霊長は関係深くないかあるいは積み終わるかまたは両方ともだ"が導かれる
5. 事実5から、推論5: "その霊長が関係深くないかもしくはそれは積み終わるかもしくはどちらもであるとしたら「それは噛み合う」ということは誤っているということはない"が導かれる
6. 推論4と推論5から、推論6: "その霊長は噛み合う"が導かれる
7. 事実1から、推論7: "もし仮にその霊長が噛み合うなら皮膚テストだ"が導かれる
8. 推論6と推論7から、推論8: "その霊長は皮膚テストだ"が導かれる
9. 推論8と事実4から、仮説が導かれる

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