その更生は唐辛子でないししかもソーラーでない
fact1: 「その更生はソーラーでない」ということは本当だ fact2: 考え辛くないものは唐辛子だということはなくてかつソーラーでない fact3: もし仮になにかは考え辛いとすれば「それは唐辛子でないし加えてそれはソーラーでない」ということは成り立たない fact4: 「その更生はグラッセしないがしかし考え辛い」ということは偽である fact5: 倒れ難くないものは考え辛くない fact6: 仮にあの文ちゃんが倒れ難くないし加えてそれがグラッセしないとするとあの無常観は倒れ難くない fact7: なんらかの物は考え辛くないとすれば「それは吸収し易くないが唐辛子だ」ということは正しくない fact8: もしもとあるものがグラッセしないとしたらそれはソーラーでない fact9: もしなにがしかのものは唐辛子でないとするとそれはグラッセしない fact10: もしも「なんらかの物は考え辛くないしおまけに倒れ難くない」ということは誤りだとしたらそれは考え辛い fact11: もし「その更生はグラッセしないが考え辛い」ということは嘘だとすればそれは考え辛くない
fact2 -> int1: 仮にその更生が考え辛くないなら唐辛子だということはないししかもそれはソーラーでない; fact11 & fact4 -> int2: その更生は考え辛くない; int1 & int2 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); fact11 & fact4 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
「あの無常観は吸収し易くないけど唐辛子である」ということは成り立たない
fact13 -> int3: もし仮にあの無常観は考え辛くないとしたら「吸収し易いということはないがしかし唐辛子だ」ということは間違いである; fact12 -> int4: もし仮にあの無常観が倒れ難くないなら考え辛くない;
$facts$ = fact1: 「その更生はソーラーでない」ということは本当だ fact2: 考え辛くないものは唐辛子だということはなくてかつソーラーでない fact3: もし仮になにかは考え辛いとすれば「それは唐辛子でないし加えてそれはソーラーでない」ということは成り立たない fact4: 「その更生はグラッセしないがしかし考え辛い」ということは偽である fact5: 倒れ難くないものは考え辛くない fact6: 仮にあの文ちゃんが倒れ難くないし加えてそれがグラッセしないとするとあの無常観は倒れ難くない fact7: なんらかの物は考え辛くないとすれば「それは吸収し易くないが唐辛子だ」ということは正しくない fact8: もしもとあるものがグラッセしないとしたらそれはソーラーでない fact9: もしなにがしかのものは唐辛子でないとするとそれはグラッセしない fact10: もしも「なんらかの物は考え辛くないしおまけに倒れ難くない」ということは誤りだとしたらそれは考え辛い fact11: もし「その更生はグラッセしないが考え辛い」ということは嘘だとすればそれは考え辛くない ; $hypothesis$ = その更生は唐辛子でないししかもソーラーでない ; $proof$ = 
fact2 -> int1: 仮にその更生が考え辛くないなら唐辛子だということはないししかもそれはソーラーでない; fact11 & fact4 -> int2: その更生は考え辛くない; int1 & int2 -> hypothesis; __PROVED__
事実1: 「その更生はソーラーでない」ということは本当だ
事実2: 考え辛くないものは唐辛子だということはなくてかつソーラーでない
事実3: もし仮になにかは考え辛いとすれば「それは唐辛子でないし加えてそれはソーラーでない」ということは成り立たない
事実4: 「その更生はグラッセしないがしかし考え辛い」ということは偽である
事実5: 倒れ難くないものは考え辛くない
事実6: 仮にあの文ちゃんが倒れ難くないし加えてそれがグラッセしないとするとあの無常観は倒れ難くない
事実7: なんらかの物は考え辛くないとすれば「それは吸収し易くないが唐辛子だ」ということは正しくない
事実8: もしもとあるものがグラッセしないとしたらそれはソーラーでない
事実9: もしなにがしかのものは唐辛子でないとするとそれはグラッセしない
事実10: もしも「なんらかの物は考え辛くないしおまけに倒れ難くない」ということは誤りだとしたらそれは考え辛い
事実11: もし「その更生はグラッセしないが考え辛い」ということは嘘だとすればそれは考え辛くない

仮説: その更生は唐辛子でないししかもソーラーでない
1. 事実2から、推論1: "仮にその更生が考え辛くないなら唐辛子だということはないししかもそれはソーラーでない"が導かれる
2. 事実11と事実4から、推論2: "その更生は考え辛くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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