「「「夥しくてそれにプロレスファンである」ということは偽でない」ということは嘘な」物はある
fact1: 「「先駆者であるしその上見直しする」ということは誤っている」ものはある fact2: 仮にあのトップクラスがスポンジでないとしたらあの競争優位性は酢蒟蒻でないか敷地であるかもしくは両方である fact3: 夥しいしかつプロレスファンだというものはない fact4: 仮にあるものは酢蒟蒻でないかまたは敷地であるかもしくは両方だとすれば青瓜である fact5: 「「駆動力だししかも六冊だ」ということは成り立たない」ものはある fact6: 「「乗り取るしおまけに電気羊だ」ということは誤りな」物はある fact7: もし仮になんらかのものが青瓜だとすればあの立体は発見しない fact8: 「「「蹴り上げるし渋谷センター街である」ということは誤りな」ものはある」ということは真実である fact9: 「「苦戦するし判断し難い」ということは成り立つということはない」ものはある fact10: 仮にとあるものは候だということはないしさらに検討し始めないならば先駆者であるということはない fact11: あのトップクラスはスポンジでない fact12: 仮になにかは外出出来ない一方でブライトストーン書店だとすればそれはえげつなくない fact13: 「「顧客情報でしかも研鑽である」ということは成り立たない」ものはある fact14: 「「怪しいし先駆者だ」ということは嘘な」ものはある fact15: えげつなくないものは候でないし検討し始めない fact16: もし仮にとある物が発見しないとすればそれは外出出来ない一方でブライトストーン書店だ fact17: もしも「先駆者でない」ものはあれば「そのマックスビューティは気忙しくて先駆者だ」ということは偽である
fact3 -> int1: 「そのマックスビューティが夥しいしその上それはプロレスファンだ」ということは誤りである; int1 -> hypothesis;
fact3 -> int1: ¬({AA}{aa} & {AB}{aa}); int1 -> hypothesis;
「「そのマックスビューティは気忙しいしおまけに先駆者だ」ということは成り立つ」ということは本当だということはない
fact21 -> int2: 仮にこの立体は候でないし検討し始めるということはないなら先駆者でない; fact20 -> int3: もしこの立体がえげつなくないとすれば候でないし検討し始めない; fact24 -> int4: もしもこの立体が外出出来ない一方でそれはブライトストーン書店であるならばそれはえげつなくない; fact25 -> int5: この立体が発見しないならばそれは外出出来ないがブライトストーン書店だ; fact19 -> int6: 仮にあの競争優位性が酢蒟蒻でないかあるいはそれは敷地であるかもしくは両方であるならそれは青瓜だ; fact18 & fact22 -> int7: あの競争優位性は酢蒟蒻でないかそれは敷地であるかあるいは両方ともである; int6 & int7 -> int8: あの競争優位性は青瓜だ; int8 -> int9: 「青瓜である」物はある; int9 & fact23 -> int10: この立体は発見しない; int5 & int10 -> int11: この立体は外出出来ないがしかしブライトストーン書店である; int4 & int11 -> int12: この立体はえげつなくない; int3 & int12 -> int13: この立体は候でないしまた検討し始めない; int2 & int13 -> int14: この立体は先駆者でない; int14 -> int15: 「先駆者でない」ものはある; int15 & fact26 -> hypothesis;
$facts$ = fact1: 「「先駆者であるしその上見直しする」ということは誤っている」ものはある fact2: 仮にあのトップクラスがスポンジでないとしたらあの競争優位性は酢蒟蒻でないか敷地であるかもしくは両方である fact3: 夥しいしかつプロレスファンだというものはない fact4: 仮にあるものは酢蒟蒻でないかまたは敷地であるかもしくは両方だとすれば青瓜である fact5: 「「駆動力だししかも六冊だ」ということは成り立たない」ものはある fact6: 「「乗り取るしおまけに電気羊だ」ということは誤りな」物はある fact7: もし仮になんらかのものが青瓜だとすればあの立体は発見しない fact8: 「「「蹴り上げるし渋谷センター街である」ということは誤りな」ものはある」ということは真実である fact9: 「「苦戦するし判断し難い」ということは成り立つということはない」ものはある fact10: 仮にとあるものは候だということはないしさらに検討し始めないならば先駆者であるということはない fact11: あのトップクラスはスポンジでない fact12: 仮になにかは外出出来ない一方でブライトストーン書店だとすればそれはえげつなくない fact13: 「「顧客情報でしかも研鑽である」ということは成り立たない」ものはある fact14: 「「怪しいし先駆者だ」ということは嘘な」ものはある fact15: えげつなくないものは候でないし検討し始めない fact16: もし仮にとある物が発見しないとすればそれは外出出来ない一方でブライトストーン書店だ fact17: もしも「先駆者でない」ものはあれば「そのマックスビューティは気忙しくて先駆者だ」ということは偽である ; $hypothesis$ = 「「「夥しくてそれにプロレスファンである」ということは偽でない」ということは嘘な」物はある ; $proof$ = 
fact3 -> int1: 「そのマックスビューティが夥しいしその上それはプロレスファンだ」ということは誤りである; int1 -> hypothesis; __PROVED__
事実1: 「「先駆者であるしその上見直しする」ということは誤っている」ものはある
事実2: 仮にあのトップクラスがスポンジでないとしたらあの競争優位性は酢蒟蒻でないか敷地であるかもしくは両方である
事実3: 夥しいしかつプロレスファンだというものはない
事実4: 仮にあるものは酢蒟蒻でないかまたは敷地であるかもしくは両方だとすれば青瓜である
事実5: 「「駆動力だししかも六冊だ」ということは成り立たない」ものはある
事実6: 「「乗り取るしおまけに電気羊だ」ということは誤りな」物はある
事実7: もし仮になんらかのものが青瓜だとすればあの立体は発見しない
事実8: 「「「蹴り上げるし渋谷センター街である」ということは誤りな」ものはある」ということは真実である
事実9: 「「苦戦するし判断し難い」ということは成り立つということはない」ものはある
事実10: 仮にとあるものは候だということはないしさらに検討し始めないならば先駆者であるということはない
事実11: あのトップクラスはスポンジでない
事実12: 仮になにかは外出出来ない一方でブライトストーン書店だとすればそれはえげつなくない
事実13: 「「顧客情報でしかも研鑽である」ということは成り立たない」ものはある
事実14: 「「怪しいし先駆者だ」ということは嘘な」ものはある
事実15: えげつなくないものは候でないし検討し始めない
事実16: もし仮にとある物が発見しないとすればそれは外出出来ない一方でブライトストーン書店だ
事実17: もしも「先駆者でない」ものはあれば「そのマックスビューティは気忙しくて先駆者だ」ということは偽である

仮説: 「「「夥しくてそれにプロレスファンである」ということは偽でない」ということは嘘な」物はある
1. 事実3から、推論1: "「そのマックスビューティが夥しいしその上それはプロレスファンだ」ということは誤りである"が導かれる
2. 推論1から、仮説が導かれる

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