あの複合はＳＴ上昇でない
fact1: 「読み易い」ものはある fact2: もし「読み易い」物はあるなら「あの複合は倒れ難いものであっておまけに甘酸っぱい」ということは偽だ fact3: もし仮に「「あの複合は倒れ難くないけれど甘酸っぱい」ということは事実である」ということは誤っていれば「それはＳＴ上昇であるということはない」ということは成り立つ fact4: もし仮に「読み易い」ものはあるとしたら「あの複合は倒れ難くないがしかし甘酸っぱい」ということは真実でない fact5: 「読み易いものはＳＴ上昇である」ということは成り立つ fact6: もしあの櫓が駆け去るしその上それが甘酸っぱいとしたらあの複合は甘酸っぱいということはない fact7: 「あの複合は倒れ難いしまた甘酸っぱい」ということは成り立たない
fact1 & fact4 -> int1: 「「あの複合は倒れ難くないけど甘酸っぱい」ということは成り立たない」ということは正しい; int1 & fact3 -> hypothesis;
fact1 & fact4 -> int1: ¬(¬{B}{a} & {C}{a}); int1 & fact3 -> hypothesis;
あの複合はＳＴ上昇である
fact8 -> int2: もしもあの複合が読み易いならそれはＳＴ上昇である;
$facts$ = fact1: 「読み易い」ものはある fact2: もし「読み易い」物はあるなら「あの複合は倒れ難いものであっておまけに甘酸っぱい」ということは偽だ fact3: もし仮に「「あの複合は倒れ難くないけれど甘酸っぱい」ということは事実である」ということは誤っていれば「それはＳＴ上昇であるということはない」ということは成り立つ fact4: もし仮に「読み易い」ものはあるとしたら「あの複合は倒れ難くないがしかし甘酸っぱい」ということは真実でない fact5: 「読み易いものはＳＴ上昇である」ということは成り立つ fact6: もしあの櫓が駆け去るしその上それが甘酸っぱいとしたらあの複合は甘酸っぱいということはない fact7: 「あの複合は倒れ難いしまた甘酸っぱい」ということは成り立たない ; $hypothesis$ = あの複合はＳＴ上昇でない ; $proof$ = 
fact1 & fact4 -> int1: 「「あの複合は倒れ難くないけど甘酸っぱい」ということは成り立たない」ということは正しい; int1 & fact3 -> hypothesis; __PROVED__
事実1: 「読み易い」ものはある
事実2: もし「読み易い」物はあるなら「あの複合は倒れ難いものであっておまけに甘酸っぱい」ということは偽だ
事実3: もし仮に「「あの複合は倒れ難くないけれど甘酸っぱい」ということは事実である」ということは誤っていれば「それはＳＴ上昇であるということはない」ということは成り立つ
事実4: もし仮に「読み易い」ものはあるとしたら「あの複合は倒れ難くないがしかし甘酸っぱい」ということは真実でない
事実5: 「読み易いものはＳＴ上昇である」ということは成り立つ
事実6: もしあの櫓が駆け去るしその上それが甘酸っぱいとしたらあの複合は甘酸っぱいということはない
事実7: 「あの複合は倒れ難いしまた甘酸っぱい」ということは成り立たない

仮説: あの複合はＳＴ上昇でない
1. 事実1と事実4から、推論1: "「「あの複合は倒れ難くないけど甘酸っぱい」ということは成り立たない」ということは正しい"が導かれる
2. 推論1と事実3から、仮説が導かれる

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