「この大生命は折り重なるがしかし浅ましない」ということは真実である
fact1: もし仮に「この大生命は甘皮であるしおまけに順応し易い」ということは誤っているとすればそれはモラトリアムでない fact2: この大生命は手早い fact3: もしもこの大生命が百姓らしくないし一定以上でないならばそれは憎くない fact4: 仮にとある物が煩いとすればそれは折り重なる一方で浅ましということはない fact5: とある物が女性らしいとしたら煩い fact6: 「手早いものは憎い」ということは成り立つ fact7: もしこの大生命がモラトリアムでないとするとそれは百姓らしくないし更に一定以上でない fact8: 仮に「この大生命は女性らしくない」ということは成り立つとすれば「甘皮だしその上順応し易い」ということは成り立たない
void -> assump1: 以下のように仮定する。この大生命は女性らしくない; fact8 & assump1 -> int1: 「この大生命は甘皮であるしさらに順応し易い」ということは成り立たない; int1 & fact1 -> int2: この大生命はモラトリアムでない; int2 & fact7 -> int3: この大生命は百姓らしくないししかも一定以上だということはない; int3 & fact3 -> int4: この大生命は憎くない; fact6 -> int5: この大生命が手早いとしたらそれは憎い; fact2 & int5 -> int6: この大生命は憎い; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「この大生命は女性らしい」ということは成り立つ; fact5 -> int9: もしこの大生命が女性らしいとすると煩い; int8 & int9 -> int10: この大生命は煩い; fact4 -> int11: もし仮にこの大生命が煩いとしたら折り重なるし浅ましない; int10 & int11 -> hypothesis;
$facts$ = fact1: もし仮に「この大生命は甘皮であるしおまけに順応し易い」ということは誤っているとすればそれはモラトリアムでない fact2: この大生命は手早い fact3: もしもこの大生命が百姓らしくないし一定以上でないならばそれは憎くない fact4: 仮にとある物が煩いとすればそれは折り重なる一方で浅ましということはない fact5: とある物が女性らしいとしたら煩い fact6: 「手早いものは憎い」ということは成り立つ fact7: もしこの大生命がモラトリアムでないとするとそれは百姓らしくないし更に一定以上でない fact8: 仮に「この大生命は女性らしくない」ということは成り立つとすれば「甘皮だしその上順応し易い」ということは成り立たない ; $hypothesis$ = 「この大生命は折り重なるがしかし浅ましない」ということは真実である ; $proof$ = 
void -> assump1: 以下のように仮定する。この大生命は女性らしくない; fact8 & assump1 -> int1: 「この大生命は甘皮であるしさらに順応し易い」ということは成り立たない; int1 & fact1 -> int2: この大生命はモラトリアムでない; int2 & fact7 -> int3: この大生命は百姓らしくないししかも一定以上だということはない; int3 & fact3 -> int4: この大生命は憎くない; fact6 -> int5: この大生命が手早いとしたらそれは憎い; fact2 & int5 -> int6: この大生命は憎い; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「この大生命は女性らしい」ということは成り立つ; fact5 -> int9: もしこの大生命が女性らしいとすると煩い; int8 & int9 -> int10: この大生命は煩い; fact4 -> int11: もし仮にこの大生命が煩いとしたら折り重なるし浅ましない; int10 & int11 -> hypothesis; __PROVED__
事実1: もし仮に「この大生命は甘皮であるしおまけに順応し易い」ということは誤っているとすればそれはモラトリアムでない
事実2: この大生命は手早い
事実3: もしもこの大生命が百姓らしくないし一定以上でないならばそれは憎くない
事実4: 仮にとある物が煩いとすればそれは折り重なる一方で浅ましということはない
事実5: とある物が女性らしいとしたら煩い
事実6: 「手早いものは憎い」ということは成り立つ
事実7: もしこの大生命がモラトリアムでないとするとそれは百姓らしくないし更に一定以上でない
事実8: 仮に「この大生命は女性らしくない」ということは成り立つとすれば「甘皮だしその上順応し易い」ということは成り立たない

仮説: 「この大生命は折り重なるがしかし浅ましない」ということは真実である
1. 仮定1: 以下のように仮定する。この大生命は女性らしくない
2. 事実8と仮定1から、推論1: "「この大生命は甘皮であるしさらに順応し易い」ということは成り立たない"が導かれる
3. 推論1と事実1から、推論2: "この大生命はモラトリアムでない"が導かれる
4. 推論2と事実7から、推論3: "この大生命は百姓らしくないししかも一定以上だということはない"が導かれる
5. 推論3と事実3から、推論4: "この大生命は憎くない"が導かれる
6. 事実6から、推論5: "この大生命が手早いとしたらそれは憎い"が導かれる
7. 事実2と推論5から、推論6: "この大生命は憎い"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「この大生命は女性らしい」ということは成り立つ"が導かれる
10. 事実5から、推論9: "もしこの大生命が女性らしいとすると煩い"が導かれる
11. 推論8と推論9から、推論10: "この大生命は煩い"が導かれる
12. 事実4から、推論11: "もし仮にこの大生命が煩いとしたら折り重なるし浅ましない"が導かれる
13. 推論10と推論11から、仮説が導かれる

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