「「その約一年半はリリーベルでないがそれはＶＩＰルームである」ということは事実である」ということは誤りだ
fact1: もし仮に「とある物は打ち上がるがしかしマネジメントしない」ということは成り立たないとすればそれはパブリシティだ fact2: この今世は探れない fact3: あの安田記念は探れない fact4: 仮にその少人数化がパブリシティならこの申請書はやくざっぽい fact5: 「全ては御偉い」ということは本当である fact6: この今世はパブリシティでない fact7: もし仮にこの今世は探れないなら「その少人数化は打ち上がるけどそれはマネジメントしない」ということは誤りだ fact8: この申請書はやくざっぽいならば「その約一年半はリリーベルでない一方でＶＩＰルームである」ということは真実でない fact9: 仮に何らかの物は御偉いなら「糸飴だけどやくざっぽいない」ということは事実でない fact10: もし仮になにがしかのものは探れるとすると「ＮＯデでその上それは無線ＬＡＮルータでない」ということは間違いである fact11: もしとあるものが探れるならリリーベルでないけれどＶＩＰルームだ
fact7 & fact2 -> int1: 「その少人数化は打ち上がるがマネジメントしない」ということは間違っている; fact1 -> int2: もし「その少人数化は打ち上がる一方でマネジメントしない」ということは事実と異なればパブリシティである; int1 & int2 -> int3: その少人数化はパブリシティである; int3 & fact4 -> int4: この申請書はやくざっぽい; int4 & fact8 -> hypothesis;
「あの本田・プレリュードはＮＯデだ一方で無線ＬＡＮルータでない」ということは成り立たない
fact12 -> int5: もしもあの本田・プレリュードは探れるとすれば「それはＮＯデである一方で無線ＬＡＮルータでない」ということは成り立つということはない;
$facts$ = fact1: もし仮に「とある物は打ち上がるがしかしマネジメントしない」ということは成り立たないとすればそれはパブリシティだ fact2: この今世は探れない fact3: あの安田記念は探れない fact4: 仮にその少人数化がパブリシティならこの申請書はやくざっぽい fact5: 「全ては御偉い」ということは本当である fact6: この今世はパブリシティでない fact7: もし仮にこの今世は探れないなら「その少人数化は打ち上がるけどそれはマネジメントしない」ということは誤りだ fact8: この申請書はやくざっぽいならば「その約一年半はリリーベルでない一方でＶＩＰルームである」ということは真実でない fact9: 仮に何らかの物は御偉いなら「糸飴だけどやくざっぽいない」ということは事実でない fact10: もし仮になにがしかのものは探れるとすると「ＮＯデでその上それは無線ＬＡＮルータでない」ということは間違いである fact11: もしとあるものが探れるならリリーベルでないけれどＶＩＰルームだ ; $hypothesis$ = 「「その約一年半はリリーベルでないがそれはＶＩＰルームである」ということは事実である」ということは誤りだ ; $proof$ = 
fact7 & fact2 -> int1: 「その少人数化は打ち上がるがマネジメントしない」ということは間違っている; fact1 -> int2: もし「その少人数化は打ち上がる一方でマネジメントしない」ということは事実と異なればパブリシティである; int1 & int2 -> int3: その少人数化はパブリシティである; int3 & fact4 -> int4: この申請書はやくざっぽい; int4 & fact8 -> hypothesis; __PROVED__
事実1: もし仮に「とある物は打ち上がるがしかしマネジメントしない」ということは成り立たないとすればそれはパブリシティだ
事実2: この今世は探れない
事実3: あの安田記念は探れない
事実4: 仮にその少人数化がパブリシティならこの申請書はやくざっぽい
事実5: 「全ては御偉い」ということは本当である
事実6: この今世はパブリシティでない
事実7: もし仮にこの今世は探れないなら「その少人数化は打ち上がるけどそれはマネジメントしない」ということは誤りだ
事実8: この申請書はやくざっぽいならば「その約一年半はリリーベルでない一方でＶＩＰルームである」ということは真実でない
事実9: 仮に何らかの物は御偉いなら「糸飴だけどやくざっぽいない」ということは事実でない
事実10: もし仮になにがしかのものは探れるとすると「ＮＯデでその上それは無線ＬＡＮルータでない」ということは間違いである
事実11: もしとあるものが探れるならリリーベルでないけれどＶＩＰルームだ

仮説: 「「その約一年半はリリーベルでないがそれはＶＩＰルームである」ということは事実である」ということは誤りだ
1. 事実7と事実2から、推論1: "「その少人数化は打ち上がるがマネジメントしない」ということは間違っている"が導かれる
2. 事実1から、推論2: "もし「その少人数化は打ち上がる一方でマネジメントしない」ということは事実と異なればパブリシティである"が導かれる
3. 推論1と推論2から、推論3: "その少人数化はパブリシティである"が導かれる
4. 推論3と事実4から、推論4: "この申請書はやくざっぽい"が導かれる
5. 推論4と事実8から、仮説が導かれる

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