その書籍館は腹立たしくらないかもしくは晴れがましいかもしくはどちらもだ
fact1: その書籍館が固いしその上休眠する fact2: もしもこの平均化時間が腹立たしいとすれば晴れがましい fact3: もし仮になにがしかのものは暮らせば「それは腹立たしくらなくてそれは寄す」ということは本当でない fact4: もしも「この平均化時間は腹立たしくらない一方でそれは寄す」ということは偽であるとすると「腹立たしくらない」ということは成り立たない fact5: その書籍館は観察し易いかそれは表現し難いかまたはどちらもである fact6: あの海軍軍人は固い fact7: もし仮に「なんらかのものは休眠する」ということは事実であるならばそれは晴れがましい fact8: その書籍館は引き難いということはないかあるいは全国結核予防連合会であるかまたは両方ともだ
fact1 -> int1: その書籍館は休眠する; fact7 -> int2: その書籍館が休眠すれば晴れがましい; int1 & int2 -> int3: その書籍館は晴れがましい; int3 -> hypothesis;
fact1 -> int1: {B}{a}; fact7 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 -> hypothesis;
この平均化時間は晴れがましいしさらに合わせ易い
fact9 -> int4: この平均化時間は暮らすなら「それは腹立たしくらないが寄す」ということは事実でない;
$facts$ = fact1: その書籍館が固いしその上休眠する fact2: もしもこの平均化時間が腹立たしいとすれば晴れがましい fact3: もし仮になにがしかのものは暮らせば「それは腹立たしくらなくてそれは寄す」ということは本当でない fact4: もしも「この平均化時間は腹立たしくらない一方でそれは寄す」ということは偽であるとすると「腹立たしくらない」ということは成り立たない fact5: その書籍館は観察し易いかそれは表現し難いかまたはどちらもである fact6: あの海軍軍人は固い fact7: もし仮に「なんらかのものは休眠する」ということは事実であるならばそれは晴れがましい fact8: その書籍館は引き難いということはないかあるいは全国結核予防連合会であるかまたは両方ともだ ; $hypothesis$ = その書籍館は腹立たしくらないかもしくは晴れがましいかもしくはどちらもだ ; $proof$ = 
fact1 -> int1: その書籍館は休眠する; fact7 -> int2: その書籍館が休眠すれば晴れがましい; int1 & int2 -> int3: その書籍館は晴れがましい; int3 -> hypothesis; __PROVED__
事実1: その書籍館が固いしその上休眠する
事実2: もしもこの平均化時間が腹立たしいとすれば晴れがましい
事実3: もし仮になにがしかのものは暮らせば「それは腹立たしくらなくてそれは寄す」ということは本当でない
事実4: もしも「この平均化時間は腹立たしくらない一方でそれは寄す」ということは偽であるとすると「腹立たしくらない」ということは成り立たない
事実5: その書籍館は観察し易いかそれは表現し難いかまたはどちらもである
事実6: あの海軍軍人は固い
事実7: もし仮に「なんらかのものは休眠する」ということは事実であるならばそれは晴れがましい
事実8: その書籍館は引き難いということはないかあるいは全国結核予防連合会であるかまたは両方ともだ

仮説: その書籍館は腹立たしくらないかもしくは晴れがましいかもしくはどちらもだ
1. 事実1から、推論1: "その書籍館は休眠する"が導かれる
2. 事実7から、推論2: "その書籍館が休眠すれば晴れがましい"が導かれる
3. 推論1と推論2から、推論3: "その書籍館は晴れがましい"が導かれる
4. 推論3から、仮説が導かれる

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