その獄中は愛らしい一方でそれは光量子でない
fact1: 「その獄中は愛らしいし光量子である」ということは成り立たない fact2: もしあの文化的生活は愛らしくないとすると「その獄中は愛らしいが光量子でない」ということは間違いである fact3: 「乗り取らない」ものはある fact4: 「もし仮に「あのＧＴＶは馴染み深くないがそれは日本的思考感動だ」ということは誤っているならあのＧＴＶは馴染み深い」ということは成り立つ fact5: もしもなにがしかのものが乗り取るということはなくて加えて抗し難いということはないならあのＧＴＶは納得出来る fact6: もしその獄中は馴染み深くないなら「あのＧＴＶは馴染み深いしそれは光量子である」ということは間違いだ fact7: 「あのＧＴＶは馴染み深いし日本的思考感動だ」ということは成り立たない fact8: もしもあのＧＴＶが馴染み深くて納得出来るならばあの文化的生活は愛らしくない fact9: もしあの文化的生活が納得出来るしそれにそれが愛らしいとするとあのＧＴＶは日本的思考感動でない fact10: とあるものは乗り取らないし抗し難くない fact11: 「あのＧＴＶは馴染み深くないけどそれは日本的思考感動だ」ということは誤っている
fact10 & fact5 -> int1: あのＧＴＶは納得出来る; fact11 & fact4 -> int2: あのＧＴＶは馴染み深い; int1 & int2 -> int3: あのＧＴＶは馴染み深いしそれは納得出来る; int3 & fact8 -> int4: 「あの文化的生活は愛らしくない」ということは誤りでない; int4 & fact2 -> hypothesis;
$facts$ = fact1: 「その獄中は愛らしいし光量子である」ということは成り立たない fact2: もしあの文化的生活は愛らしくないとすると「その獄中は愛らしいが光量子でない」ということは間違いである fact3: 「乗り取らない」ものはある fact4: 「もし仮に「あのＧＴＶは馴染み深くないがそれは日本的思考感動だ」ということは誤っているならあのＧＴＶは馴染み深い」ということは成り立つ fact5: もしもなにがしかのものが乗り取るということはなくて加えて抗し難いということはないならあのＧＴＶは納得出来る fact6: もしその獄中は馴染み深くないなら「あのＧＴＶは馴染み深いしそれは光量子である」ということは間違いだ fact7: 「あのＧＴＶは馴染み深いし日本的思考感動だ」ということは成り立たない fact8: もしもあのＧＴＶが馴染み深くて納得出来るならばあの文化的生活は愛らしくない fact9: もしあの文化的生活が納得出来るしそれにそれが愛らしいとするとあのＧＴＶは日本的思考感動でない fact10: とあるものは乗り取らないし抗し難くない fact11: 「あのＧＴＶは馴染み深くないけどそれは日本的思考感動だ」ということは誤っている ; $hypothesis$ = その獄中は愛らしい一方でそれは光量子でない ; $proof$ = 
fact10 & fact5 -> int1: あのＧＴＶは納得出来る; fact11 & fact4 -> int2: あのＧＴＶは馴染み深い; int1 & int2 -> int3: あのＧＴＶは馴染み深いしそれは納得出来る; int3 & fact8 -> int4: 「あの文化的生活は愛らしくない」ということは誤りでない; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: 「その獄中は愛らしいし光量子である」ということは成り立たない
事実2: もしあの文化的生活は愛らしくないとすると「その獄中は愛らしいが光量子でない」ということは間違いである
事実3: 「乗り取らない」ものはある
事実4: 「もし仮に「あのＧＴＶは馴染み深くないがそれは日本的思考感動だ」ということは誤っているならあのＧＴＶは馴染み深い」ということは成り立つ
事実5: もしもなにがしかのものが乗り取るということはなくて加えて抗し難いということはないならあのＧＴＶは納得出来る
事実6: もしその獄中は馴染み深くないなら「あのＧＴＶは馴染み深いしそれは光量子である」ということは間違いだ
事実7: 「あのＧＴＶは馴染み深いし日本的思考感動だ」ということは成り立たない
事実8: もしもあのＧＴＶが馴染み深くて納得出来るならばあの文化的生活は愛らしくない
事実9: もしあの文化的生活が納得出来るしそれにそれが愛らしいとするとあのＧＴＶは日本的思考感動でない
事実10: とあるものは乗り取らないし抗し難くない
事実11: 「あのＧＴＶは馴染み深くないけどそれは日本的思考感動だ」ということは誤っている

仮説: その獄中は愛らしい一方でそれは光量子でない
1. 事実10と事実5から、推論1: "あのＧＴＶは納得出来る"が導かれる
2. 事実11と事実4から、推論2: "あのＧＴＶは馴染み深い"が導かれる
3. 推論1と推論2から、推論3: "あのＧＴＶは馴染み深いしそれは納得出来る"が導かれる
4. 推論3と事実8から、推論4: "「あの文化的生活は愛らしくない」ということは誤りでない"が導かれる
5. 推論4と事実2から、仮説が否定される

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