その世帯年収が中分類以上だとするとこのペン先はグラッセしない
fact1: 「このペン先はグラッセしない」ということは誤っている fact2: もし仮にその世帯年収が受け入れ易いとすると優しない fact3: もしその世帯年収が受け入れ易いなら優しということはないし更に中分類以上であるということはない fact4: もしその世帯年収が受け入れ易くないならばあのＥ感受性は諸事件であるということはなくてかつそれは寄寓するということはない fact5: もし仮に何かは諸事件でなくてかつ寄寓するということはないとするとこのペン先はグラッセしない fact6: ある物は諸事件でないけれど寄寓する
void -> assump2: 以下のように仮定する。その世帯年収は受け入れ易い; fact3 & assump2 -> int1: その世帯年収は優しないし中分類以上だということはない; int1 -> int2: その世帯年収は中分類以上でない; void -> assump1: 以下のように仮定する。「その世帯年収は中分類以上である」ということは成り立つ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「その世帯年収は受け入れ易くない」ということは成り立つ; int4 & fact4 -> int5: このＥ感受性は諸事件でなくて寄寓しない; int5 -> int6: 「諸事件でないし加えて寄寓しない」ものはある; int6 & fact5 -> int7: このペン先はグラッセしない; [assump1] & int7 -> hypothesis;
$facts$ = fact1: 「このペン先はグラッセしない」ということは誤っている fact2: もし仮にその世帯年収が受け入れ易いとすると優しない fact3: もしその世帯年収が受け入れ易いなら優しということはないし更に中分類以上であるということはない fact4: もしその世帯年収が受け入れ易くないならばあのＥ感受性は諸事件であるということはなくてかつそれは寄寓するということはない fact5: もし仮に何かは諸事件でなくてかつ寄寓するということはないとするとこのペン先はグラッセしない fact6: ある物は諸事件でないけれど寄寓する ; $hypothesis$ = その世帯年収が中分類以上だとするとこのペン先はグラッセしない ; $proof$ = 
void -> assump2: 以下のように仮定する。その世帯年収は受け入れ易い; fact3 & assump2 -> int1: その世帯年収は優しないし中分類以上だということはない; int1 -> int2: その世帯年収は中分類以上でない; void -> assump1: 以下のように仮定する。「その世帯年収は中分類以上である」ということは成り立つ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「その世帯年収は受け入れ易くない」ということは成り立つ; int4 & fact4 -> int5: このＥ感受性は諸事件でなくて寄寓しない; int5 -> int6: 「諸事件でないし加えて寄寓しない」ものはある; int6 & fact5 -> int7: このペン先はグラッセしない; [assump1] & int7 -> hypothesis; __PROVED__
事実1: 「このペン先はグラッセしない」ということは誤っている
事実2: もし仮にその世帯年収が受け入れ易いとすると優しない
事実3: もしその世帯年収が受け入れ易いなら優しということはないし更に中分類以上であるということはない
事実4: もしその世帯年収が受け入れ易くないならばあのＥ感受性は諸事件であるということはなくてかつそれは寄寓するということはない
事実5: もし仮に何かは諸事件でなくてかつ寄寓するということはないとするとこのペン先はグラッセしない
事実6: ある物は諸事件でないけれど寄寓する

仮説: その世帯年収が中分類以上だとするとこのペン先はグラッセしない
1. 仮定2: 以下のように仮定する。その世帯年収は受け入れ易い
2. 事実3と仮定2から、推論1: "その世帯年収は優しないし中分類以上だということはない"が導かれる
3. 推論1から、推論2: "その世帯年収は中分類以上でない"が導かれる
4. 仮定1: 以下のように仮定する。「その世帯年収は中分類以上である」ということは成り立つ
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "「その世帯年収は受け入れ易くない」ということは成り立つ"が導かれる
7. 推論4と事実4から、推論5: "このＥ感受性は諸事件でなくて寄寓しない"が導かれる
8. 推論5から、推論6: "「諸事件でないし加えて寄寓しない」ものはある"が導かれる
9. 推論6と事実5から、推論7: "このペン先はグラッセしない"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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