「あの幹周は負わないけれどイスラム化する」ということは嘘である
fact1: 「あの幹周は反省しない一方で交配前後である」ということは誤っている fact2: もしも何らかのものが切ないとすると海水面だ fact3: 「あの幹周は負わないけれどイスラム化する」ということは間違っている fact4: 信心深い物は負わないけれどイスラム化する fact5: なにかは信心深いとすれば「負わないしまたそれは慈悲深い」ということは成り立つということはない fact6: 「あの幹周は負うしそれにイスラム化する」ということは事実と異なる fact7: もしも何かは海水面だとしたらそれは信心深い fact8: この卵胞細胞は抉り出さない fact9: 「あの幹周は制限機構でないがしかし目敏い」ということは成り立たない fact10: 「あの幹周は財産引き受けでないけれどそれは負う」ということは偽だ fact11: もし仮にこの卵胞細胞が海水面であるならあの幹周は海水面である fact12: もしも「抉り出さない」物があるとするとあの幹周は切なくないし反省し為さるということはない
fact3 -> hypothesis;
fact3 -> hypothesis;
「その区切りは負わない一方で慈悲深い」ということは本当でない
fact15 -> int1: 仮にその区切りは信心深いとすると「それは負わないがしかし慈悲深い」ということは偽である; fact14 -> int2: 「抉り出さない」ものはある; int2 & fact13 -> int3: あの幹周は切なくないしそれは反省し為さらない; int3 -> int4: あの幹周は切なくない; int4 -> int5: とある物は切なくない;
$facts$ = fact1: 「あの幹周は反省しない一方で交配前後である」ということは誤っている fact2: もしも何らかのものが切ないとすると海水面だ fact3: 「あの幹周は負わないけれどイスラム化する」ということは間違っている fact4: 信心深い物は負わないけれどイスラム化する fact5: なにかは信心深いとすれば「負わないしまたそれは慈悲深い」ということは成り立つということはない fact6: 「あの幹周は負うしそれにイスラム化する」ということは事実と異なる fact7: もしも何かは海水面だとしたらそれは信心深い fact8: この卵胞細胞は抉り出さない fact9: 「あの幹周は制限機構でないがしかし目敏い」ということは成り立たない fact10: 「あの幹周は財産引き受けでないけれどそれは負う」ということは偽だ fact11: もし仮にこの卵胞細胞が海水面であるならあの幹周は海水面である fact12: もしも「抉り出さない」物があるとするとあの幹周は切なくないし反省し為さるということはない ; $hypothesis$ = 「あの幹周は負わないけれどイスラム化する」ということは嘘である ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「あの幹周は反省しない一方で交配前後である」ということは誤っている
事実2: もしも何らかのものが切ないとすると海水面だ
事実3: 「あの幹周は負わないけれどイスラム化する」ということは間違っている
事実4: 信心深い物は負わないけれどイスラム化する
事実5: なにかは信心深いとすれば「負わないしまたそれは慈悲深い」ということは成り立つということはない
事実6: 「あの幹周は負うしそれにイスラム化する」ということは事実と異なる
事実7: もしも何かは海水面だとしたらそれは信心深い
事実8: この卵胞細胞は抉り出さない
事実9: 「あの幹周は制限機構でないがしかし目敏い」ということは成り立たない
事実10: 「あの幹周は財産引き受けでないけれどそれは負う」ということは偽だ
事実11: もし仮にこの卵胞細胞が海水面であるならあの幹周は海水面である
事実12: もしも「抉り出さない」物があるとするとあの幹周は切なくないし反省し為さるということはない

仮説: 「あの幹周は負わないけれどイスラム化する」ということは嘘である
1. 事実3から、仮説が導かれる

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