その行動推論は変わり続ける
fact1: もしも何らかの物が読み取らないとしたらそれは強し fact2: 「あのアイウエオは落籍す」ということは成り立つ fact3: 仮になんらかの物は上昇し易くないとするとそれは変わり続ける fact4: もし何かは指南しないなら個体性である fact5: 仮に改易が落籍すとしたらそれは上昇し易くない fact6: もしもあの府県会が落籍すしおまけに会話らしいとするとそれは仄白くない fact7: 「その行動推論は落籍す」ということは成り立つ fact8: その行動推論は改易だ
fact8 & fact7 -> int1: その行動推論は改易であるししかも落籍す; fact5 -> int2: その行動推論は改易であるし落籍すとしたら「上昇し易くない」ということは確かだ; int1 & int2 -> int3: その行動推論は上昇し易いということはない; fact3 -> int4: その行動推論は上昇し易くないとすれば「変わり続ける」ということは事実である; int3 & int4 -> hypothesis;
fact8 & fact7 -> int1: ({A}{a} & {B}{a}); fact5 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; fact3 -> int4: ¬{C}{a} -> {D}{a}; int3 & int4 -> hypothesis;
$facts$ = fact1: もしも何らかの物が読み取らないとしたらそれは強し fact2: 「あのアイウエオは落籍す」ということは成り立つ fact3: 仮になんらかの物は上昇し易くないとするとそれは変わり続ける fact4: もし何かは指南しないなら個体性である fact5: 仮に改易が落籍すとしたらそれは上昇し易くない fact6: もしもあの府県会が落籍すしおまけに会話らしいとするとそれは仄白くない fact7: 「その行動推論は落籍す」ということは成り立つ fact8: その行動推論は改易だ ; $hypothesis$ = その行動推論は変わり続ける ; $proof$ = 
fact8 & fact7 -> int1: その行動推論は改易であるししかも落籍す; fact5 -> int2: その行動推論は改易であるし落籍すとしたら「上昇し易くない」ということは確かだ; int1 & int2 -> int3: その行動推論は上昇し易いということはない; fact3 -> int4: その行動推論は上昇し易くないとすれば「変わり続ける」ということは事実である; int3 & int4 -> hypothesis; __PROVED__
事実1: もしも何らかの物が読み取らないとしたらそれは強し
事実2: 「あのアイウエオは落籍す」ということは成り立つ
事実3: 仮になんらかの物は上昇し易くないとするとそれは変わり続ける
事実4: もし何かは指南しないなら個体性である
事実5: 仮に改易が落籍すとしたらそれは上昇し易くない
事実6: もしもあの府県会が落籍すしおまけに会話らしいとするとそれは仄白くない
事実7: 「その行動推論は落籍す」ということは成り立つ
事実8: その行動推論は改易だ

仮説: その行動推論は変わり続ける
1. 事実8と事実7から、推論1: "その行動推論は改易であるししかも落籍す"が導かれる
2. 事実5から、推論2: "その行動推論は改易であるし落籍すとしたら「上昇し易くない」ということは確かだ"が導かれる
3. 推論1と推論2から、推論3: "その行動推論は上昇し易いということはない"が導かれる
4. 事実3から、推論4: "その行動推論は上昇し易くないとすれば「変わり続ける」ということは事実である"が導かれる
5. 推論3と推論4から、仮説が導かれる

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