「あの花嫁は具体的行動であるがしかし厳くない」ということは成り立つということはない
fact1: その帰化植物は甲斐甲斐しい fact2: 「その帰化植物は甲斐甲斐しい」ということは正しいなら乖離する fact3: 仮になにがしかのものが乖離するとすると具体的行動だしさらにそれは厳くない fact4: その傍が楽しけど行儀良くないとするとあの脳死肝移植は厳くない fact5: もしもあの脳死肝移植は厳くないなら「あの花嫁は具体的行動だがそれは厳くない」ということは事実と異なる fact6: その傍は楽し fact7: もし何かは乖離しないとすると厳いかもしくは甲斐甲斐しかないかあるいはどちらもである fact8: もしも「その傍は楽しけど行儀良くない」ということは事実と異なるとすればその帰化植物は乖離しない fact9: 厳いかまたは甲斐甲斐しかないかまたは両方であるものは厳い
void -> assump1: 以下のように仮定する。「その傍は楽しがしかし行儀良くない」ということは成り立たない; fact8 & assump1 -> int1: その帰化植物は乖離するということはない; fact1 & fact2 -> int2: その帰化植物は乖離する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その傍は楽しがしかし行儀良くない; int4 & fact4 -> int5: あの脳死肝移植は厳くない; int5 & fact5 -> hypothesis;
あの花嫁は具体的行動だけれど厳くない
fact10 -> int6: あの花嫁が乖離すればそれは具体的行動であるけど厳くない;
$facts$ = fact1: その帰化植物は甲斐甲斐しい fact2: 「その帰化植物は甲斐甲斐しい」ということは正しいなら乖離する fact3: 仮になにがしかのものが乖離するとすると具体的行動だしさらにそれは厳くない fact4: その傍が楽しけど行儀良くないとするとあの脳死肝移植は厳くない fact5: もしもあの脳死肝移植は厳くないなら「あの花嫁は具体的行動だがそれは厳くない」ということは事実と異なる fact6: その傍は楽し fact7: もし何かは乖離しないとすると厳いかもしくは甲斐甲斐しかないかあるいはどちらもである fact8: もしも「その傍は楽しけど行儀良くない」ということは事実と異なるとすればその帰化植物は乖離しない fact9: 厳いかまたは甲斐甲斐しかないかまたは両方であるものは厳い ; $hypothesis$ = 「あの花嫁は具体的行動であるがしかし厳くない」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その傍は楽しがしかし行儀良くない」ということは成り立たない; fact8 & assump1 -> int1: その帰化植物は乖離するということはない; fact1 & fact2 -> int2: その帰化植物は乖離する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その傍は楽しがしかし行儀良くない; int4 & fact4 -> int5: あの脳死肝移植は厳くない; int5 & fact5 -> hypothesis; __PROVED__
事実1: その帰化植物は甲斐甲斐しい
事実2: 「その帰化植物は甲斐甲斐しい」ということは正しいなら乖離する
事実3: 仮になにがしかのものが乖離するとすると具体的行動だしさらにそれは厳くない
事実4: その傍が楽しけど行儀良くないとするとあの脳死肝移植は厳くない
事実5: もしもあの脳死肝移植は厳くないなら「あの花嫁は具体的行動だがそれは厳くない」ということは事実と異なる
事実6: その傍は楽し
事実7: もし何かは乖離しないとすると厳いかもしくは甲斐甲斐しかないかあるいはどちらもである
事実8: もしも「その傍は楽しけど行儀良くない」ということは事実と異なるとすればその帰化植物は乖離しない
事実9: 厳いかまたは甲斐甲斐しかないかまたは両方であるものは厳い

仮説: 「あの花嫁は具体的行動であるがしかし厳くない」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。「その傍は楽しがしかし行儀良くない」ということは成り立たない
2. 事実8と仮定1から、推論1: "その帰化植物は乖離するということはない"が導かれる
3. 事実1と事実2から、推論2: "その帰化植物は乖離する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その傍は楽しがしかし行儀良くない"が導かれる
6. 推論4と事実4から、推論5: "あの脳死肝移植は厳くない"が導かれる
7. 推論5と事実5から、仮説が導かれる

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