あの一文橋は切り下ろさない
fact1: あの文学活動は済ま無くない fact2: 仮に「あるものは石突きでないがしかしそれは説法する」ということは成り立たないなら済ま無い fact3: 済ま無いものは切り下ろす fact4: 「間断無くない」ものはある fact5: もしもあの文学活動が済ま無くないとするとそれは二十五Ａであるということはない一方で撃破だ fact6: 仮になにがしかのものが間断無くないとするとこの二つ年上は石突きである fact7: もし仮にこの二つ年上が説法するししかも石突きならあの一文橋は切り下ろさない fact8: 仮にあの文学活動が汚れ易くなくて更に銀行振り込みでないならば「間断無い」ということは嘘だということはない fact9: もし「あの文学活動は済ま無い」ということは成り立つならあの一文橋は済ま無い fact10: もしあの文学活動は二十五Ａでないが撃破であるならば「この二つ年上は説法する」ということは成り立つ
fact5 & fact1 -> int1: あの文学活動は二十五Ａでないがしかし撃破だ; int1 & fact10 -> int2: この二つ年上は説法する; fact4 & fact6 -> int3: この二つ年上は石突きである; int2 & int3 -> int4: この二つ年上は説法するしさらに石突きだ; int4 & fact7 -> hypothesis;
あの一文橋は切り下ろす
fact13 -> int5: 仮にあの一文橋が済ま無いなら切り下ろす; fact12 -> int6: 「あの文学活動は石突きだということはないが説法する」ということは嘘なら済ま無い;
$facts$ = fact1: あの文学活動は済ま無くない fact2: 仮に「あるものは石突きでないがしかしそれは説法する」ということは成り立たないなら済ま無い fact3: 済ま無いものは切り下ろす fact4: 「間断無くない」ものはある fact5: もしもあの文学活動が済ま無くないとするとそれは二十五Ａであるということはない一方で撃破だ fact6: 仮になにがしかのものが間断無くないとするとこの二つ年上は石突きである fact7: もし仮にこの二つ年上が説法するししかも石突きならあの一文橋は切り下ろさない fact8: 仮にあの文学活動が汚れ易くなくて更に銀行振り込みでないならば「間断無い」ということは嘘だということはない fact9: もし「あの文学活動は済ま無い」ということは成り立つならあの一文橋は済ま無い fact10: もしあの文学活動は二十五Ａでないが撃破であるならば「この二つ年上は説法する」ということは成り立つ ; $hypothesis$ = あの一文橋は切り下ろさない ; $proof$ = 
fact5 & fact1 -> int1: あの文学活動は二十五Ａでないがしかし撃破だ; int1 & fact10 -> int2: この二つ年上は説法する; fact4 & fact6 -> int3: この二つ年上は石突きである; int2 & int3 -> int4: この二つ年上は説法するしさらに石突きだ; int4 & fact7 -> hypothesis; __PROVED__
事実1: あの文学活動は済ま無くない
事実2: 仮に「あるものは石突きでないがしかしそれは説法する」ということは成り立たないなら済ま無い
事実3: 済ま無いものは切り下ろす
事実4: 「間断無くない」ものはある
事実5: もしもあの文学活動が済ま無くないとするとそれは二十五Ａであるということはない一方で撃破だ
事実6: 仮になにがしかのものが間断無くないとするとこの二つ年上は石突きである
事実7: もし仮にこの二つ年上が説法するししかも石突きならあの一文橋は切り下ろさない
事実8: 仮にあの文学活動が汚れ易くなくて更に銀行振り込みでないならば「間断無い」ということは嘘だということはない
事実9: もし「あの文学活動は済ま無い」ということは成り立つならあの一文橋は済ま無い
事実10: もしあの文学活動は二十五Ａでないが撃破であるならば「この二つ年上は説法する」ということは成り立つ

仮説: あの一文橋は切り下ろさない
1. 事実5と事実1から、推論1: "あの文学活動は二十五Ａでないがしかし撃破だ"が導かれる
2. 推論1と事実10から、推論2: "この二つ年上は説法する"が導かれる
3. 事実4と事実6から、推論3: "この二つ年上は石突きである"が導かれる
4. 推論2と推論3から、推論4: "この二つ年上は説法するしさらに石突きだ"が導かれる
5. 推論4と事実7から、仮説が導かれる

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