この見学は御若くない
fact1: その生姜オールが御恥ずかしいならばそれは岐路だ fact2: もし仮にこの西欧近代は岐路であるとしたらそれは麗し fact3: その生姜オールは御優しくない fact4: 仮に「「この西欧近代は麗しないかあるいはＡＷＢ番号でないかどちらもだ」ということは確かだ」ということは成り立たないとすればそれは失い兼ねる fact5: この見学はＡＷＢ番号だ fact6: 仮にこの見学は御若いならば「それは御恥ずかしい」ということは確かだ fact7: 「この西欧近代は失い兼ねる」ということは間違いである fact8: 「その足臂は引照するかまたは面白くないかもしくはどちらもだ」ということは成り立たない fact9: 仮に何らかのものは御優しいならば「麗しないかもしくはＡＷＢ番号でない」ということは成り立たない fact10: 御優しい物は御恥ずかしいけれど引照しない fact11: もし「この見学は御恥ずかしい」ということは正しいとするとその生姜オールは岐路である fact12: もし仮にそのバルナが御恥ずかしいがそれが引照しないとしたらその生姜オールは御恥ずかしいということはない fact13: その生姜オールは岐路だとしたら「そのバルナは岐路であるかもしくは引照しない」ということは成り立たない fact14: もし仮にその生姜オールは御恥ずかしいとすると「引照しないかまたはそれは岐路でないか両方ともだ」ということは事実であるということはない fact15: この西欧近代は五言詩註本である fact16: 「この見学はハンガリー人でない」ということは正しい fact17: 「この西欧近代はＡＷＢ番号であるかまたは御若いということはないか両方だ」ということは誤っているとするとこの見学は麗し fact18: なんらかのものが御若いとするとそれは岐路である fact19: もしも「そのバルナはＡＷＢ番号でないしそれは麗しない」ということは正しいとしたらそれは御優しい fact20: もしこの見学が御恥ずかしいとすればそれは岐路だ fact21: もし仮に「そのバルナは岐路であるかもしくは引照しない」ということは誤りであるとすると「この西欧近代は御優しい」ということは本当である fact22: もし仮にその生姜オールは御恥ずかしいということはないとすれば「この見学は岐路でないし加えて御若くない」ということは成り立つということはない fact23: この見学は岐路だ
void -> assump1: 以下のように仮定する。「この見学は御若い」ということは正しい; fact6 & assump1 -> int1: この見学は御恥ずかしい; int1 & fact11 -> int2: その生姜オールは岐路だ; int2 & fact13 -> int3: 「そのバルナは岐路であるかまたは引照しないかあるいはどちらもである」ということは事実と異なる; int3 & fact21 -> int4: 「この西欧近代は御優しい」ということは事実だ; fact9 -> int5: 仮にこの西欧近代は御優しいならば「麗しということはないかもしくはそれはＡＷＢ番号でない」ということは嘘である; int4 & int5 -> int6: 「この西欧近代は麗しないかもしくはＡＷＢ番号でないかまたは両方だ」ということは成り立たない; int6 & fact4 -> int7: この西欧近代は失い兼ねる; int7 & fact7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
この見学は御若い
fact27 -> int9: もしもそのバルナが御優しいとすると御恥ずかしいけど引照しない;
$facts$ = fact1: その生姜オールが御恥ずかしいならばそれは岐路だ fact2: もし仮にこの西欧近代は岐路であるとしたらそれは麗し fact3: その生姜オールは御優しくない fact4: 仮に「「この西欧近代は麗しないかあるいはＡＷＢ番号でないかどちらもだ」ということは確かだ」ということは成り立たないとすればそれは失い兼ねる fact5: この見学はＡＷＢ番号だ fact6: 仮にこの見学は御若いならば「それは御恥ずかしい」ということは確かだ fact7: 「この西欧近代は失い兼ねる」ということは間違いである fact8: 「その足臂は引照するかまたは面白くないかもしくはどちらもだ」ということは成り立たない fact9: 仮に何らかのものは御優しいならば「麗しないかもしくはＡＷＢ番号でない」ということは成り立たない fact10: 御優しい物は御恥ずかしいけれど引照しない fact11: もし「この見学は御恥ずかしい」ということは正しいとするとその生姜オールは岐路である fact12: もし仮にそのバルナが御恥ずかしいがそれが引照しないとしたらその生姜オールは御恥ずかしいということはない fact13: その生姜オールは岐路だとしたら「そのバルナは岐路であるかもしくは引照しない」ということは成り立たない fact14: もし仮にその生姜オールは御恥ずかしいとすると「引照しないかまたはそれは岐路でないか両方ともだ」ということは事実であるということはない fact15: この西欧近代は五言詩註本である fact16: 「この見学はハンガリー人でない」ということは正しい fact17: 「この西欧近代はＡＷＢ番号であるかまたは御若いということはないか両方だ」ということは誤っているとするとこの見学は麗し fact18: なんらかのものが御若いとするとそれは岐路である fact19: もしも「そのバルナはＡＷＢ番号でないしそれは麗しない」ということは正しいとしたらそれは御優しい fact20: もしこの見学が御恥ずかしいとすればそれは岐路だ fact21: もし仮に「そのバルナは岐路であるかもしくは引照しない」ということは誤りであるとすると「この西欧近代は御優しい」ということは本当である fact22: もし仮にその生姜オールは御恥ずかしいということはないとすれば「この見学は岐路でないし加えて御若くない」ということは成り立つということはない fact23: この見学は岐路だ ; $hypothesis$ = この見学は御若くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この見学は御若い」ということは正しい; fact6 & assump1 -> int1: この見学は御恥ずかしい; int1 & fact11 -> int2: その生姜オールは岐路だ; int2 & fact13 -> int3: 「そのバルナは岐路であるかまたは引照しないかあるいはどちらもである」ということは事実と異なる; int3 & fact21 -> int4: 「この西欧近代は御優しい」ということは事実だ; fact9 -> int5: 仮にこの西欧近代は御優しいならば「麗しということはないかもしくはそれはＡＷＢ番号でない」ということは嘘である; int4 & int5 -> int6: 「この西欧近代は麗しないかもしくはＡＷＢ番号でないかまたは両方だ」ということは成り立たない; int6 & fact4 -> int7: この西欧近代は失い兼ねる; int7 & fact7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: その生姜オールが御恥ずかしいならばそれは岐路だ
事実2: もし仮にこの西欧近代は岐路であるとしたらそれは麗し
事実3: その生姜オールは御優しくない
事実4: 仮に「「この西欧近代は麗しないかあるいはＡＷＢ番号でないかどちらもだ」ということは確かだ」ということは成り立たないとすればそれは失い兼ねる
事実5: この見学はＡＷＢ番号だ
事実6: 仮にこの見学は御若いならば「それは御恥ずかしい」ということは確かだ
事実7: 「この西欧近代は失い兼ねる」ということは間違いである
事実8: 「その足臂は引照するかまたは面白くないかもしくはどちらもだ」ということは成り立たない
事実9: 仮に何らかのものは御優しいならば「麗しないかもしくはＡＷＢ番号でない」ということは成り立たない
事実10: 御優しい物は御恥ずかしいけれど引照しない
事実11: もし「この見学は御恥ずかしい」ということは正しいとするとその生姜オールは岐路である
事実12: もし仮にそのバルナが御恥ずかしいがそれが引照しないとしたらその生姜オールは御恥ずかしいということはない
事実13: その生姜オールは岐路だとしたら「そのバルナは岐路であるかもしくは引照しない」ということは成り立たない
事実14: もし仮にその生姜オールは御恥ずかしいとすると「引照しないかまたはそれは岐路でないか両方ともだ」ということは事実であるということはない
事実15: この西欧近代は五言詩註本である
事実16: 「この見学はハンガリー人でない」ということは正しい
事実17: 「この西欧近代はＡＷＢ番号であるかまたは御若いということはないか両方だ」ということは誤っているとするとこの見学は麗し
事実18: なんらかのものが御若いとするとそれは岐路である
事実19: もしも「そのバルナはＡＷＢ番号でないしそれは麗しない」ということは正しいとしたらそれは御優しい
事実20: もしこの見学が御恥ずかしいとすればそれは岐路だ
事実21: もし仮に「そのバルナは岐路であるかもしくは引照しない」ということは誤りであるとすると「この西欧近代は御優しい」ということは本当である
事実22: もし仮にその生姜オールは御恥ずかしいということはないとすれば「この見学は岐路でないし加えて御若くない」ということは成り立つということはない
事実23: この見学は岐路だ

仮説: この見学は御若くない
1. 仮定1: 以下のように仮定する。「この見学は御若い」ということは正しい
2. 事実6と仮定1から、推論1: "この見学は御恥ずかしい"が導かれる
3. 推論1と事実11から、推論2: "その生姜オールは岐路だ"が導かれる
4. 推論2と事実13から、推論3: "「そのバルナは岐路であるかまたは引照しないかあるいはどちらもである」ということは事実と異なる"が導かれる
5. 推論3と事実21から、推論4: "「この西欧近代は御優しい」ということは事実だ"が導かれる
6. 事実9から、推論5: "仮にこの西欧近代は御優しいならば「麗しということはないかもしくはそれはＡＷＢ番号でない」ということは嘘である"が導かれる
7. 推論4と推論5から、推論6: "「この西欧近代は麗しないかもしくはＡＷＢ番号でないかまたは両方だ」ということは成り立たない"が導かれる
8. 推論6と事実4から、推論7: "この西欧近代は失い兼ねる"が導かれる
9. 推論7と事実7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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