この革命政府は落とせる
fact1: この救護所が突き崩せるとすればあの所轄税務署は悪賢い fact2: もしあのＬＡＭが緩いとするとこの救護所は悪賢い fact3: その所轄税務署は突き崩せない fact4: もしこの救護所が悪賢いとすればこの革命政府は落とせる fact5: もし何らかの物が落とせないとすると区別し易いしそれにそれは悪賢い fact6: その所轄税務署は区別し易い fact7: もしあのＬＡＭが緩くないとしたらその所轄税務署は同党でないしその上突き崩せない fact8: あのＬＡＭが区別し易いならばその所轄税務署は緩くなくてそれは黄色くない fact9: もし仮になにかは同党でなくてそれが突き崩せないならそれは区別し易くない
void -> assump1: 以下のように仮定する。あのＬＡＭは緩くない; fact7 & assump1 -> int1: その所轄税務署は同党でなくてしかも突き崩せるということはない; fact9 -> int2: 仮にその所轄税務署は同党でなくて更に突き崩せないとすればそれは区別し易いということはない; int1 & int2 -> int3: その所轄税務署は区別し易くない; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのＬＡＭは緩い; int5 & fact2 -> int6: この救護所は悪賢い; int6 & fact4 -> hypothesis;
その所轄税務署は緩くないしまたそれは黄色くない
fact11 -> int7: もしあのＬＡＭが落とせないならそれは区別し易くてさらに悪賢い;
$facts$ = fact1: この救護所が突き崩せるとすればあの所轄税務署は悪賢い fact2: もしあのＬＡＭが緩いとするとこの救護所は悪賢い fact3: その所轄税務署は突き崩せない fact4: もしこの救護所が悪賢いとすればこの革命政府は落とせる fact5: もし何らかの物が落とせないとすると区別し易いしそれにそれは悪賢い fact6: その所轄税務署は区別し易い fact7: もしあのＬＡＭが緩くないとしたらその所轄税務署は同党でないしその上突き崩せない fact8: あのＬＡＭが区別し易いならばその所轄税務署は緩くなくてそれは黄色くない fact9: もし仮になにかは同党でなくてそれが突き崩せないならそれは区別し易くない ; $hypothesis$ = この革命政府は落とせる ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＬＡＭは緩くない; fact7 & assump1 -> int1: その所轄税務署は同党でなくてしかも突き崩せるということはない; fact9 -> int2: 仮にその所轄税務署は同党でなくて更に突き崩せないとすればそれは区別し易いということはない; int1 & int2 -> int3: その所轄税務署は区別し易くない; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのＬＡＭは緩い; int5 & fact2 -> int6: この救護所は悪賢い; int6 & fact4 -> hypothesis; __PROVED__
事実1: この救護所が突き崩せるとすればあの所轄税務署は悪賢い
事実2: もしあのＬＡＭが緩いとするとこの救護所は悪賢い
事実3: その所轄税務署は突き崩せない
事実4: もしこの救護所が悪賢いとすればこの革命政府は落とせる
事実5: もし何らかの物が落とせないとすると区別し易いしそれにそれは悪賢い
事実6: その所轄税務署は区別し易い
事実7: もしあのＬＡＭが緩くないとしたらその所轄税務署は同党でないしその上突き崩せない
事実8: あのＬＡＭが区別し易いならばその所轄税務署は緩くなくてそれは黄色くない
事実9: もし仮になにかは同党でなくてそれが突き崩せないならそれは区別し易くない

仮説: この革命政府は落とせる
1. 仮定1: 以下のように仮定する。あのＬＡＭは緩くない
2. 事実7と仮定1から、推論1: "その所轄税務署は同党でなくてしかも突き崩せるということはない"が導かれる
3. 事実9から、推論2: "仮にその所轄税務署は同党でなくて更に突き崩せないとすればそれは区別し易いということはない"が導かれる
4. 推論1と推論2から、推論3: "その所轄税務署は区別し易くない"が導かれる
5. 推論3と事実6から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あのＬＡＭは緩い"が導かれる
7. 推論5と事実2から、推論6: "この救護所は悪賢い"が導かれる
8. 推論6と事実4から、仮説が導かれる

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