このＲＡＣは物々しい
fact1: もしも「「枯渇しないがしかし横領する」ということは成り立たない」物があるならあの書類は分離しない fact2: このＲＡＣは稼ぐ fact3: もし仮になんらかのものは召し上がる一方で税源でないとしたら物々しかない fact4: この攻撃行為は物々しい fact5: このＲＡＣは物々しい fact6: この会場は物々しい fact7: とある物が細くないなら税源であるかまたはそれは召し上がる fact8: この儚さは物々しい fact9: 仮になにかは分離しないとすると結界だしそれにそれは細い fact10: 枯渇しないがしかし横領するというものはない fact11: このＲＡＣは直隠しである fact12: 仮にあの書類が細いならこのＲＡＣは細くない fact13: このＲＡＣは免れ難い fact14: あの基材は物々しい
fact5 -> hypothesis;
fact5 -> hypothesis;
「このマンデーは物々しい」ということは成り立つ
fact15 -> int1: このＲＡＣが細くないなら税源であるかあるいはそれは召し上がる; fact16 -> int2: もしもあの書類が分離しないとするとそれは結界で細い; fact18 -> int3: 「「この野外教育は枯渇しないけれどそれは横領する」ということは偽だ」ということは成り立つ; int3 -> int4: 「「枯渇しないが横領する」ということは嘘である」物はある; int4 & fact19 -> int5: あの書類は分離しない; int2 & int5 -> int6: あの書類は結界だし細い; int6 -> int7: あの書類は細い; fact17 & int7 -> int8: このＲＡＣは細くない; int1 & int8 -> int9: このＲＡＣは税源であるか召し上がるかあるいは両方ともだ;
$facts$ = fact1: もしも「「枯渇しないがしかし横領する」ということは成り立たない」物があるならあの書類は分離しない fact2: このＲＡＣは稼ぐ fact3: もし仮になんらかのものは召し上がる一方で税源でないとしたら物々しかない fact4: この攻撃行為は物々しい fact5: このＲＡＣは物々しい fact6: この会場は物々しい fact7: とある物が細くないなら税源であるかまたはそれは召し上がる fact8: この儚さは物々しい fact9: 仮になにかは分離しないとすると結界だしそれにそれは細い fact10: 枯渇しないがしかし横領するというものはない fact11: このＲＡＣは直隠しである fact12: 仮にあの書類が細いならこのＲＡＣは細くない fact13: このＲＡＣは免れ難い fact14: あの基材は物々しい ; $hypothesis$ = このＲＡＣは物々しい ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしも「「枯渇しないがしかし横領する」ということは成り立たない」物があるならあの書類は分離しない
事実2: このＲＡＣは稼ぐ
事実3: もし仮になんらかのものは召し上がる一方で税源でないとしたら物々しかない
事実4: この攻撃行為は物々しい
事実5: このＲＡＣは物々しい
事実6: この会場は物々しい
事実7: とある物が細くないなら税源であるかまたはそれは召し上がる
事実8: この儚さは物々しい
事実9: 仮になにかは分離しないとすると結界だしそれにそれは細い
事実10: 枯渇しないがしかし横領するというものはない
事実11: このＲＡＣは直隠しである
事実12: 仮にあの書類が細いならこのＲＡＣは細くない
事実13: このＲＡＣは免れ難い
事実14: あの基材は物々しい

仮説: このＲＡＣは物々しい
1. 事実5から、仮説が導かれる

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