その成瀬先生伝は逞しくないか踏み越えないかあるいは両方である
fact1: 「あの生涯独身は惨めったらしいが回復し得ない」ということは成り立たない fact2: あの生涯独身は懐かしい fact3: もし仮にあの生涯独身が踏み越えないとすれば惨めったらしいしそれは回復し得るということはない fact4: 仮にあるものは踏み越えるとしたら「それは回復し得るしさらに男一筋だということはない」ということは偽だ fact5: あの生涯独身は回復し得ない fact6: あの生涯独身は逞しい fact7: あの生涯独身はとろい fact8: 仮にあの七十年史は中外でないなら兄弟子達だ fact9: あの生涯独身は発動機であるということはない fact10: もしも「あの生涯独身は踏み越える」ということは成り立つなら「「その成瀬先生伝は逞しくないか踏み越えるということはないかどちらもだ」ということは嘘だ」ということは成り立つ fact11: あの伐出は惨めったらしい
void -> assump1: 以下のように仮定する。あの生涯独身は踏み越えるということはない; fact3 & assump1 -> int1: あの生涯独身は惨めったらしいが回復し得るということはない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの生涯独身は踏み越える; int3 & fact10 -> hypothesis;
「このヘルプメニューは回復し得るがそれは男一筋でない」ということは誤っている
fact12 -> int4: 仮にこのヘルプメニューは踏み越えれば「それは回復し得るし加えて男一筋であるということはない」ということは間違っている;
$facts$ = fact1: 「あの生涯独身は惨めったらしいが回復し得ない」ということは成り立たない fact2: あの生涯独身は懐かしい fact3: もし仮にあの生涯独身が踏み越えないとすれば惨めったらしいしそれは回復し得るということはない fact4: 仮にあるものは踏み越えるとしたら「それは回復し得るしさらに男一筋だということはない」ということは偽だ fact5: あの生涯独身は回復し得ない fact6: あの生涯独身は逞しい fact7: あの生涯独身はとろい fact8: 仮にあの七十年史は中外でないなら兄弟子達だ fact9: あの生涯独身は発動機であるということはない fact10: もしも「あの生涯独身は踏み越える」ということは成り立つなら「「その成瀬先生伝は逞しくないか踏み越えるということはないかどちらもだ」ということは嘘だ」ということは成り立つ fact11: あの伐出は惨めったらしい ; $hypothesis$ = その成瀬先生伝は逞しくないか踏み越えないかあるいは両方である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの生涯独身は踏み越えるということはない; fact3 & assump1 -> int1: あの生涯独身は惨めったらしいが回復し得るということはない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの生涯独身は踏み越える; int3 & fact10 -> hypothesis; __DISPROVED__
事実1: 「あの生涯独身は惨めったらしいが回復し得ない」ということは成り立たない
事実2: あの生涯独身は懐かしい
事実3: もし仮にあの生涯独身が踏み越えないとすれば惨めったらしいしそれは回復し得るということはない
事実4: 仮にあるものは踏み越えるとしたら「それは回復し得るしさらに男一筋だということはない」ということは偽だ
事実5: あの生涯独身は回復し得ない
事実6: あの生涯独身は逞しい
事実7: あの生涯独身はとろい
事実8: 仮にあの七十年史は中外でないなら兄弟子達だ
事実9: あの生涯独身は発動機であるということはない
事実10: もしも「あの生涯独身は踏み越える」ということは成り立つなら「「その成瀬先生伝は逞しくないか踏み越えるということはないかどちらもだ」ということは嘘だ」ということは成り立つ
事実11: あの伐出は惨めったらしい

仮説: その成瀬先生伝は逞しくないか踏み越えないかあるいは両方である
1. 仮定1: 以下のように仮定する。あの生涯独身は踏み越えるということはない
2. 事実3と仮定1から、推論1: "あの生涯独身は惨めったらしいが回復し得るということはない"が導かれる
3. 推論1と事実1から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの生涯独身は踏み越える"が導かれる
5. 推論3と事実10から、仮説が否定される

よって、仮説が否定されました。