「もし慈悲深いとしたら剥がれ易いということはないがめんど臭い」物はある
fact1: もし「その山河は剥がれ易いということはない一方でめんど臭い」ということは偽であるとしたら慈悲深くない fact2: その山河は私宛てであるしそれは剥がれ易い fact3: もしその山河は剥がれ易いということはない一方でめんど臭いならばそれは慈悲深くない fact4: その山河は剥がれ易い fact5: とある物が開き過ぎないしさらに八月以降でない fact6: もしもその山河は慈悲深いとすると「それはめんど臭い」ということは成り立つ fact7: その山河が諫早干拓だとしたらそれは剥がれ易くて更に素揚げする
void -> assump1: 以下のように仮定する。「その山河は剥がれ易いということはない一方でそれはめんど臭い」ということは成り立たない; fact1 & assump1 -> int1: その山河は慈悲深くない; void -> assump2: 以下のように仮定する。その山河は慈悲深い; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: その山河は剥がれ易くないけどそれはめんど臭い; [assump2] & int3 -> int4: 仮に「その山河は慈悲深い」ということは成り立つとしたら剥がれ易くないしさらにそれはめんど臭い; int4 -> hypothesis;
あの学校行事はめんど臭くない一方で想像し難い
$facts$ = fact1: もし「その山河は剥がれ易いということはない一方でめんど臭い」ということは偽であるとしたら慈悲深くない fact2: その山河は私宛てであるしそれは剥がれ易い fact3: もしその山河は剥がれ易いということはない一方でめんど臭いならばそれは慈悲深くない fact4: その山河は剥がれ易い fact5: とある物が開き過ぎないしさらに八月以降でない fact6: もしもその山河は慈悲深いとすると「それはめんど臭い」ということは成り立つ fact7: その山河が諫早干拓だとしたらそれは剥がれ易くて更に素揚げする ; $hypothesis$ = 「もし慈悲深いとしたら剥がれ易いということはないがめんど臭い」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。「その山河は剥がれ易いということはない一方でそれはめんど臭い」ということは成り立たない; fact1 & assump1 -> int1: その山河は慈悲深くない; void -> assump2: 以下のように仮定する。その山河は慈悲深い; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: その山河は剥がれ易くないけどそれはめんど臭い; [assump2] & int3 -> int4: 仮に「その山河は慈悲深い」ということは成り立つとしたら剥がれ易くないしさらにそれはめんど臭い; int4 -> hypothesis; __PROVED__
事実1: もし「その山河は剥がれ易いということはない一方でめんど臭い」ということは偽であるとしたら慈悲深くない
事実2: その山河は私宛てであるしそれは剥がれ易い
事実3: もしその山河は剥がれ易いということはない一方でめんど臭いならばそれは慈悲深くない
事実4: その山河は剥がれ易い
事実5: とある物が開き過ぎないしさらに八月以降でない
事実6: もしもその山河は慈悲深いとすると「それはめんど臭い」ということは成り立つ
事実7: その山河が諫早干拓だとしたらそれは剥がれ易くて更に素揚げする

仮説: 「もし慈悲深いとしたら剥がれ易いということはないがめんど臭い」物はある
1. 仮定1: 以下のように仮定する。「その山河は剥がれ易いということはない一方でそれはめんど臭い」ということは成り立たない
2. 事実1と仮定1から、推論1: "その山河は慈悲深くない"が導かれる
3. 仮定2: 以下のように仮定する。その山河は慈悲深い
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "その山河は剥がれ易くないけどそれはめんど臭い"が導かれる
6. [仮定2]と推論3から、推論4: "仮に「その山河は慈悲深い」ということは成り立つとしたら剥がれ易くないしさらにそれはめんど臭い"が導かれる
7. 推論4から、仮説が導かれる

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