あの原題は憎み合うということはない
fact1: なにかは少数株主持分でないとすればそれは鬱陶しいし日本ＩＢＭである fact2: もしもその文学教材が持ち易くないとするとあの原題は憎み合わない fact3: 鬱陶しいものは整数である fact4: あの原題は湿っぽくない fact5: もし仮にその杣道は持ち易くないとしたら「その文学教材は耐え切れない」ということは誤りでない fact6: この無謬が少数株主持分であるとするとその文学教材は少数株主持分でない fact7: もし仮にその文学教材が鬱陶しいならその杣道は鬱陶しい fact8: もし仮に「その杣道は耐え切れるし更に湿っぽい」ということは事実でないとすればその文学教材は整数でない fact9: 「その杣道は持ち易いしかつ耐え切れる」ということは偽である fact10: 「その文学教材は持ち易くて加えて耐え切れる」ということは成り立たない fact11: もしもその杣道が持ち易いならあの原題は憎み合う fact12: もし仮に「なんらかの物は整数である」ということは成り立てばそれは持ち易い fact13: 呪わしくない物はある fact14: 仮になにがしかのものは整数でないとしたらそれは持ち易くない fact15: 「その杣道は耐え切れるしそれは湿っぽい」ということは成り立たない
fact8 & fact15 -> int1: その文学教材は整数でない; fact14 -> int2: もしもその文学教材は整数でないとするとそれは持ち易くない; int1 & int2 -> int3: その文学教材は持ち易くない; int3 & fact2 -> hypothesis;
あの原題は憎み合う
fact17 -> int4: もしその杣道が整数だとするとそれは持ち易い; fact19 -> int5: もしその杣道は鬱陶しいならば「それは整数である」ということは成り立つ; fact18 -> int6: もしその文学教材が少数株主持分でないとするとそれは鬱陶しいしかつそれは日本ＩＢＭである;
$facts$ = fact1: なにかは少数株主持分でないとすればそれは鬱陶しいし日本ＩＢＭである fact2: もしもその文学教材が持ち易くないとするとあの原題は憎み合わない fact3: 鬱陶しいものは整数である fact4: あの原題は湿っぽくない fact5: もし仮にその杣道は持ち易くないとしたら「その文学教材は耐え切れない」ということは誤りでない fact6: この無謬が少数株主持分であるとするとその文学教材は少数株主持分でない fact7: もし仮にその文学教材が鬱陶しいならその杣道は鬱陶しい fact8: もし仮に「その杣道は耐え切れるし更に湿っぽい」ということは事実でないとすればその文学教材は整数でない fact9: 「その杣道は持ち易いしかつ耐え切れる」ということは偽である fact10: 「その文学教材は持ち易くて加えて耐え切れる」ということは成り立たない fact11: もしもその杣道が持ち易いならあの原題は憎み合う fact12: もし仮に「なんらかの物は整数である」ということは成り立てばそれは持ち易い fact13: 呪わしくない物はある fact14: 仮になにがしかのものは整数でないとしたらそれは持ち易くない fact15: 「その杣道は耐え切れるしそれは湿っぽい」ということは成り立たない ; $hypothesis$ = あの原題は憎み合うということはない ; $proof$ = 
fact8 & fact15 -> int1: その文学教材は整数でない; fact14 -> int2: もしもその文学教材は整数でないとするとそれは持ち易くない; int1 & int2 -> int3: その文学教材は持ち易くない; int3 & fact2 -> hypothesis; __PROVED__
事実1: なにかは少数株主持分でないとすればそれは鬱陶しいし日本ＩＢＭである
事実2: もしもその文学教材が持ち易くないとするとあの原題は憎み合わない
事実3: 鬱陶しいものは整数である
事実4: あの原題は湿っぽくない
事実5: もし仮にその杣道は持ち易くないとしたら「その文学教材は耐え切れない」ということは誤りでない
事実6: この無謬が少数株主持分であるとするとその文学教材は少数株主持分でない
事実7: もし仮にその文学教材が鬱陶しいならその杣道は鬱陶しい
事実8: もし仮に「その杣道は耐え切れるし更に湿っぽい」ということは事実でないとすればその文学教材は整数でない
事実9: 「その杣道は持ち易いしかつ耐え切れる」ということは偽である
事実10: 「その文学教材は持ち易くて加えて耐え切れる」ということは成り立たない
事実11: もしもその杣道が持ち易いならあの原題は憎み合う
事実12: もし仮に「なんらかの物は整数である」ということは成り立てばそれは持ち易い
事実13: 呪わしくない物はある
事実14: 仮になにがしかのものは整数でないとしたらそれは持ち易くない
事実15: 「その杣道は耐え切れるしそれは湿っぽい」ということは成り立たない

仮説: あの原題は憎み合うということはない
1. 事実8と事実15から、推論1: "その文学教材は整数でない"が導かれる
2. 事実14から、推論2: "もしもその文学教材は整数でないとするとそれは持ち易くない"が導かれる
3. 推論1と推論2から、推論3: "その文学教材は持ち易くない"が導かれる
4. 推論3と事実2から、仮説が導かれる

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