あの挫屈は鈍る
fact1: もしもとある物は鈍らないとしたら「それが禅定札だしさらに和訳でない」ということは成り立つ fact2: もし警察権が存続しないならそれは鈍る fact3: もしあの挫屈が落ち難くないならそれが警察権だししかもそれは存続しない fact4: もしあの挫屈が落ち難くないとしたら存続しない fact5: もしも「なんらかのものは落ち難いということはないが鈍る」ということは嘘であるならば鈍らない fact6: あの挫屈は落ち難いということはない fact7: この二十八．根気は鈍らない
fact3 & fact6 -> int1: あの挫屈は警察権だけど存続するということはない; fact2 -> int2: あの挫屈が警察権だがそれが存続しないならそれは鈍る; int1 & int2 -> hypothesis;
fact3 & fact6 -> int1: ({AA}{a} & ¬{AB}{a}); fact2 -> int2: ({AA}{a} & ¬{AB}{a}) -> {B}{a}; int1 & int2 -> hypothesis;
もし仮にあの挫屈が鈍らないならそれは禅定札であるが和訳だということはない
fact8 -> hypothesis;
$facts$ = fact1: もしもとある物は鈍らないとしたら「それが禅定札だしさらに和訳でない」ということは成り立つ fact2: もし警察権が存続しないならそれは鈍る fact3: もしあの挫屈が落ち難くないならそれが警察権だししかもそれは存続しない fact4: もしあの挫屈が落ち難くないとしたら存続しない fact5: もしも「なんらかのものは落ち難いということはないが鈍る」ということは嘘であるならば鈍らない fact6: あの挫屈は落ち難いということはない fact7: この二十八．根気は鈍らない ; $hypothesis$ = あの挫屈は鈍る ; $proof$ = 
fact3 & fact6 -> int1: あの挫屈は警察権だけど存続するということはない; fact2 -> int2: あの挫屈が警察権だがそれが存続しないならそれは鈍る; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもとある物は鈍らないとしたら「それが禅定札だしさらに和訳でない」ということは成り立つ
事実2: もし警察権が存続しないならそれは鈍る
事実3: もしあの挫屈が落ち難くないならそれが警察権だししかもそれは存続しない
事実4: もしあの挫屈が落ち難くないとしたら存続しない
事実5: もしも「なんらかのものは落ち難いということはないが鈍る」ということは嘘であるならば鈍らない
事実6: あの挫屈は落ち難いということはない
事実7: この二十八．根気は鈍らない

仮説: あの挫屈は鈍る
1. 事実3と事実6から、推論1: "あの挫屈は警察権だけど存続するということはない"が導かれる
2. 事実2から、推論2: "あの挫屈が警察権だがそれが存続しないならそれは鈍る"が導かれる
3. 推論1と推論2から、仮説が導かれる

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