もしその性的平等論が寂しいということはないとしたらこの採用銘柄は整備しないかまたは完全雇用であるかもしくは両方ともである
fact1: もしも「その性的平等論は寂しかない」ということは間違っているということはないとすればそれは太しない fact2: 仮にその性的平等論が寂しいとすると太しということはないしそれは恥ずかしい fact3: なにかは寂しかないとすれば太しないしそれにそれは恥ずかしい fact4: 仮にこの採用銘柄が恥ずかしくないとすればその性的平等論は寂しかないか整備するかあるいは両方ともだ fact5: この採用銘柄は完全雇用でないがしかし恥ずかしい fact6: 仮にその性的平等論が寂しいならばこの採用銘柄は整備しないかあるいは完全雇用だ fact7: その医学論文が御寂しくないとすれば開度でない fact8: 仮に何かは寂しいなら「それは整備しなくて完全雇用でない」ということは間違っている fact9: もし「この採用銘柄は整備しなくて完全雇用でない」ということは成り立つということはないならばあのウーロン茶は整備するということはない fact10: もし仮にこの採用銘柄が太しとするとその性的平等論は恥ずかしくないかあるいは整備するかもしくは両方だ fact11: あの下っ端は寂しかないか仕上げるかまたは両方だ fact12: その性的平等論が恥ずかしいならばこの採用銘柄は整備するということはないか完全雇用であるかまたは両方である fact13: その性的平等論はスライディングするということはない fact14: なんらかのものが整備しないとすると完全雇用でない fact15: もしも「あの薄層クロマトグラフィーは対応し易い」ということは真実ならこの採用銘柄は寂しい
fact3 -> int1: もしもその性的平等論が寂しかないとすると太しない一方で恥ずかしい; void -> assump1: 以下のように仮定する。「その性的平等論は寂しかない」ということは成り立つ; int1 & assump1 -> int2: その性的平等論は太しないがしかし恥ずかしい; int2 -> int3: その性的平等論は恥ずかしい; int3 & fact12 -> int4: この採用銘柄は整備しないかもしくは完全雇用である; [assump1] & int4 -> hypothesis;
「このウーロン茶は整備しない」ということは成り立つ
fact17 -> int5: もしもこの採用銘柄は寂しいならば「それは整備しないし加えて完全雇用でない」ということは偽だ;
$facts$ = fact1: もしも「その性的平等論は寂しかない」ということは間違っているということはないとすればそれは太しない fact2: 仮にその性的平等論が寂しいとすると太しということはないしそれは恥ずかしい fact3: なにかは寂しかないとすれば太しないしそれにそれは恥ずかしい fact4: 仮にこの採用銘柄が恥ずかしくないとすればその性的平等論は寂しかないか整備するかあるいは両方ともだ fact5: この採用銘柄は完全雇用でないがしかし恥ずかしい fact6: 仮にその性的平等論が寂しいならばこの採用銘柄は整備しないかあるいは完全雇用だ fact7: その医学論文が御寂しくないとすれば開度でない fact8: 仮に何かは寂しいなら「それは整備しなくて完全雇用でない」ということは間違っている fact9: もし「この採用銘柄は整備しなくて完全雇用でない」ということは成り立つということはないならばあのウーロン茶は整備するということはない fact10: もし仮にこの採用銘柄が太しとするとその性的平等論は恥ずかしくないかあるいは整備するかもしくは両方だ fact11: あの下っ端は寂しかないか仕上げるかまたは両方だ fact12: その性的平等論が恥ずかしいならばこの採用銘柄は整備するということはないか完全雇用であるかまたは両方である fact13: その性的平等論はスライディングするということはない fact14: なんらかのものが整備しないとすると完全雇用でない fact15: もしも「あの薄層クロマトグラフィーは対応し易い」ということは真実ならこの採用銘柄は寂しい ; $hypothesis$ = もしその性的平等論が寂しいということはないとしたらこの採用銘柄は整備しないかまたは完全雇用であるかもしくは両方ともである ; $proof$ = 
fact3 -> int1: もしもその性的平等論が寂しかないとすると太しない一方で恥ずかしい; void -> assump1: 以下のように仮定する。「その性的平等論は寂しかない」ということは成り立つ; int1 & assump1 -> int2: その性的平等論は太しないがしかし恥ずかしい; int2 -> int3: その性的平等論は恥ずかしい; int3 & fact12 -> int4: この採用銘柄は整備しないかもしくは完全雇用である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしも「その性的平等論は寂しかない」ということは間違っているということはないとすればそれは太しない
事実2: 仮にその性的平等論が寂しいとすると太しということはないしそれは恥ずかしい
事実3: なにかは寂しかないとすれば太しないしそれにそれは恥ずかしい
事実4: 仮にこの採用銘柄が恥ずかしくないとすればその性的平等論は寂しかないか整備するかあるいは両方ともだ
事実5: この採用銘柄は完全雇用でないがしかし恥ずかしい
事実6: 仮にその性的平等論が寂しいならばこの採用銘柄は整備しないかあるいは完全雇用だ
事実7: その医学論文が御寂しくないとすれば開度でない
事実8: 仮に何かは寂しいなら「それは整備しなくて完全雇用でない」ということは間違っている
事実9: もし「この採用銘柄は整備しなくて完全雇用でない」ということは成り立つということはないならばあのウーロン茶は整備するということはない
事実10: もし仮にこの採用銘柄が太しとするとその性的平等論は恥ずかしくないかあるいは整備するかもしくは両方だ
事実11: あの下っ端は寂しかないか仕上げるかまたは両方だ
事実12: その性的平等論が恥ずかしいならばこの採用銘柄は整備するということはないか完全雇用であるかまたは両方である
事実13: その性的平等論はスライディングするということはない
事実14: なんらかのものが整備しないとすると完全雇用でない
事実15: もしも「あの薄層クロマトグラフィーは対応し易い」ということは真実ならこの採用銘柄は寂しい

仮説: もしその性的平等論が寂しいということはないとしたらこの採用銘柄は整備しないかまたは完全雇用であるかもしくは両方ともである
1. 事実3から、推論1: "もしもその性的平等論が寂しかないとすると太しない一方で恥ずかしい"が導かれる
2. 仮定1: 以下のように仮定する。「その性的平等論は寂しかない」ということは成り立つ
3. 推論1と仮定1から、推論2: "その性的平等論は太しないがしかし恥ずかしい"が導かれる
4. 推論2から、推論3: "その性的平等論は恥ずかしい"が導かれる
5. 推論3と事実12から、推論4: "この採用銘柄は整備しないかもしくは完全雇用である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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