このＰＳＡは猛反発する
fact1: もしもその服属がザＹでないとすればこのＰＳＡは猛反発する fact2: その皮算用が規則正しいとするとあの遅延は規則正しい fact3: そのスライドショーは射掛けないけれど刺々しい fact4: そのスライドショーが詮方でないか本図表でないかまたは両方ならこのＰＳＡは猛反発しない fact5: もしそのスライドショーは射掛けない一方で刺々しいとしたらそれは本図表である fact6: もしそのスライドショーが刺々しかないとするとこのＰＳＡは出来易い fact7: 仮にそのスライドショーが本図表でそれが詮方だとしたらその服属はザＹでない fact8: 「ザＹは詮方でないかまたは本図表でないかどちらもだ」ということは誤りでない fact9: もしそのスライドショーが出来易いとすると詮方だ fact10: もしも「とあるものは出来易いかまたは退屈さでない」ということは間違いであるならばザＹである fact11: 「あの遅延は規定す」ということは真実なら高周波ソードだ fact12: その皮算用は規則正しい fact13: そのスライドショーは刺々しい fact14: そのスライドショーは出来易いかあるいは退屈さであるかあるいは両方ともである fact15: 規則正しい物は規定す fact16: そのスライドショーが退屈さだとしたら詮方である fact17: この揺れは卑しいということはないが詮方だ
fact5 & fact3 -> int1: そのスライドショーは本図表である; fact16 & fact9 & fact14 -> int2: そのスライドショーは詮方である; int1 & int2 -> int3: そのスライドショーは本図表で更に詮方である; int3 & fact7 -> int4: その服属はザＹでない; int4 & fact1 -> hypothesis;
このＰＳＡは猛反発しない
fact24 -> int5: 仮にそのスライドショーがザＹだとすれば詮方でないかもしくはそれは本図表でない; fact20 -> int6: もし「その服属は出来易いかもしくは退屈さでない」ということは成り立たないとしたらザＹだ; fact22 -> int7: 仮にあの遅延が規則正しいとすれば規定す; fact19 & fact18 -> int8: あの遅延は規則正しい; int7 & int8 -> int9: あの遅延は規定す; fact23 & int9 -> int10: あの遅延は高周波ソードである; int10 -> int11: なんらかのものは高周波ソードだ;
$facts$ = fact1: もしもその服属がザＹでないとすればこのＰＳＡは猛反発する fact2: その皮算用が規則正しいとするとあの遅延は規則正しい fact3: そのスライドショーは射掛けないけれど刺々しい fact4: そのスライドショーが詮方でないか本図表でないかまたは両方ならこのＰＳＡは猛反発しない fact5: もしそのスライドショーは射掛けない一方で刺々しいとしたらそれは本図表である fact6: もしそのスライドショーが刺々しかないとするとこのＰＳＡは出来易い fact7: 仮にそのスライドショーが本図表でそれが詮方だとしたらその服属はザＹでない fact8: 「ザＹは詮方でないかまたは本図表でないかどちらもだ」ということは誤りでない fact9: もしそのスライドショーが出来易いとすると詮方だ fact10: もしも「とあるものは出来易いかまたは退屈さでない」ということは間違いであるならばザＹである fact11: 「あの遅延は規定す」ということは真実なら高周波ソードだ fact12: その皮算用は規則正しい fact13: そのスライドショーは刺々しい fact14: そのスライドショーは出来易いかあるいは退屈さであるかあるいは両方ともである fact15: 規則正しい物は規定す fact16: そのスライドショーが退屈さだとしたら詮方である fact17: この揺れは卑しいということはないが詮方だ ; $hypothesis$ = このＰＳＡは猛反発する ; $proof$ = 
fact5 & fact3 -> int1: そのスライドショーは本図表である; fact16 & fact9 & fact14 -> int2: そのスライドショーは詮方である; int1 & int2 -> int3: そのスライドショーは本図表で更に詮方である; int3 & fact7 -> int4: その服属はザＹでない; int4 & fact1 -> hypothesis; __PROVED__
事実1: もしもその服属がザＹでないとすればこのＰＳＡは猛反発する
事実2: その皮算用が規則正しいとするとあの遅延は規則正しい
事実3: そのスライドショーは射掛けないけれど刺々しい
事実4: そのスライドショーが詮方でないか本図表でないかまたは両方ならこのＰＳＡは猛反発しない
事実5: もしそのスライドショーは射掛けない一方で刺々しいとしたらそれは本図表である
事実6: もしそのスライドショーが刺々しかないとするとこのＰＳＡは出来易い
事実7: 仮にそのスライドショーが本図表でそれが詮方だとしたらその服属はザＹでない
事実8: 「ザＹは詮方でないかまたは本図表でないかどちらもだ」ということは誤りでない
事実9: もしそのスライドショーが出来易いとすると詮方だ
事実10: もしも「とあるものは出来易いかまたは退屈さでない」ということは間違いであるならばザＹである
事実11: 「あの遅延は規定す」ということは真実なら高周波ソードだ
事実12: その皮算用は規則正しい
事実13: そのスライドショーは刺々しい
事実14: そのスライドショーは出来易いかあるいは退屈さであるかあるいは両方ともである
事実15: 規則正しい物は規定す
事実16: そのスライドショーが退屈さだとしたら詮方である
事実17: この揺れは卑しいということはないが詮方だ

仮説: このＰＳＡは猛反発する
1. 事実5と事実3から、推論1: "そのスライドショーは本図表である"が導かれる
2. 事実16と事実9と事実14から、推論2: "そのスライドショーは詮方である"が導かれる
3. 推論1と推論2から、推論3: "そのスライドショーは本図表で更に詮方である"が導かれる
4. 推論3と事実7から、推論4: "その服属はザＹでない"が導かれる
5. 推論4と事実1から、仮説が導かれる

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