「その代議機関は使用し難くないししかも愛くるしいということはない」ということは成り立たない
fact1: その地租軽減はひもじい fact2: もしもその俗論は愛くるしくないとしたら「その代議機関は使用し難くないしおまけに愛くるしくない」ということは成り立つということはない fact3: その俗論は愛くるしくないとしたら「その代議機関は使用し難くない一方で愛くるしい」ということは成り立たない fact4: もし仮にその陽子親和力は信心深いとしたら「その地租軽減は御構い無い」ということは成り立つ fact5: その地租軽減が御構い無くてそれがひもじいならその俗論は愛くるしくない fact6: もし「その俗論は愛くるしくない」ということは本当だとすると「その代議機関は使用し難いがしかし愛くるしくない」ということは誤りである fact7: 仮にある物が焦げ臭くないならそれは御構い無い fact8: その陽子親和力は焦げ臭くて更に信心深い fact9: その陽子親和力は焦げ臭い fact10: 「その代議機関は使用し難くないけど愛くるしい」ということは偽だ fact11: 「その代議機関は使用し難いがしかし愛くるしくない」ということは事実と異なる
fact8 -> int1: その陽子親和力は信心深い; int1 & fact4 -> int2: その地租軽減は御構い無い; int2 & fact1 -> int3: その地租軽減は御構い無くておまけにひもじい; int3 & fact5 -> int4: その俗論は愛くるしくない; int4 & fact2 -> hypothesis;
その俗論は御構い無い
fact12 -> int5: もし仮にその俗論が焦げ臭くないとするとそれは御構い無い;
$facts$ = fact1: その地租軽減はひもじい fact2: もしもその俗論は愛くるしくないとしたら「その代議機関は使用し難くないしおまけに愛くるしくない」ということは成り立つということはない fact3: その俗論は愛くるしくないとしたら「その代議機関は使用し難くない一方で愛くるしい」ということは成り立たない fact4: もし仮にその陽子親和力は信心深いとしたら「その地租軽減は御構い無い」ということは成り立つ fact5: その地租軽減が御構い無くてそれがひもじいならその俗論は愛くるしくない fact6: もし「その俗論は愛くるしくない」ということは本当だとすると「その代議機関は使用し難いがしかし愛くるしくない」ということは誤りである fact7: 仮にある物が焦げ臭くないならそれは御構い無い fact8: その陽子親和力は焦げ臭くて更に信心深い fact9: その陽子親和力は焦げ臭い fact10: 「その代議機関は使用し難くないけど愛くるしい」ということは偽だ fact11: 「その代議機関は使用し難いがしかし愛くるしくない」ということは事実と異なる ; $hypothesis$ = 「その代議機関は使用し難くないししかも愛くるしいということはない」ということは成り立たない ; $proof$ = 
fact8 -> int1: その陽子親和力は信心深い; int1 & fact4 -> int2: その地租軽減は御構い無い; int2 & fact1 -> int3: その地租軽減は御構い無くておまけにひもじい; int3 & fact5 -> int4: その俗論は愛くるしくない; int4 & fact2 -> hypothesis; __PROVED__
事実1: その地租軽減はひもじい
事実2: もしもその俗論は愛くるしくないとしたら「その代議機関は使用し難くないしおまけに愛くるしくない」ということは成り立つということはない
事実3: その俗論は愛くるしくないとしたら「その代議機関は使用し難くない一方で愛くるしい」ということは成り立たない
事実4: もし仮にその陽子親和力は信心深いとしたら「その地租軽減は御構い無い」ということは成り立つ
事実5: その地租軽減が御構い無くてそれがひもじいならその俗論は愛くるしくない
事実6: もし「その俗論は愛くるしくない」ということは本当だとすると「その代議機関は使用し難いがしかし愛くるしくない」ということは誤りである
事実7: 仮にある物が焦げ臭くないならそれは御構い無い
事実8: その陽子親和力は焦げ臭くて更に信心深い
事実9: その陽子親和力は焦げ臭い
事実10: 「その代議機関は使用し難くないけど愛くるしい」ということは偽だ
事実11: 「その代議機関は使用し難いがしかし愛くるしくない」ということは事実と異なる

仮説: 「その代議機関は使用し難くないししかも愛くるしいということはない」ということは成り立たない
1. 事実8から、推論1: "その陽子親和力は信心深い"が導かれる
2. 推論1と事実4から、推論2: "その地租軽減は御構い無い"が導かれる
3. 推論2と事実1から、推論3: "その地租軽減は御構い無くておまけにひもじい"が導かれる
4. 推論3と事実5から、推論4: "その俗論は愛くるしくない"が導かれる
5. 推論4と事実2から、仮説が導かれる

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