この十月現在は染色するということはない
fact1: もしもこの東隣は消化吸収され易いということはないならば「あのマイクロマネジャーは割れ難くないかそれは緊縛するかまたは両方ともである」ということは誤りだ fact2: 仮に「何らかのものは野暮ったくなくて輪状甲状関節でない」ということは事実と異なるとしたら染色しない fact3: 仮に「「あのマイクロマネジャーは割れ難くないか緊縛するかどちらもである」ということは成り立つ」ということは成り立たないとしたらこの十月現在は染色しない fact4: 「この東隣は消化吸収され易くない」ということは正しい fact5: もしもあのマイクロマネジャーが二千三年カレンダーでないかあるいはエグジットであるかまたは両方であるならばそれは野暮ったい fact6: もし仮にこの東隣は染色しないとすれば「この戦線離脱は消化吸収され易くないかあるいはそれは水泡であるかまたは両方ともである」ということは成り立たない
fact1 & fact4 -> int1: 「あのマイクロマネジャーは割れ難くないか緊縛するかあるいはどちらもだ」ということは成り立たない; int1 & fact3 -> hypothesis;
「この戦線離脱は消化吸収され易いということはないか水泡であるかあるいは両方ともである」ということは偽だ
fact8 -> int2: もし仮に「この東隣は野暮ったくないし輪状甲状関節でない」ということは間違いであるならばそれは染色しない;
$facts$ = fact1: もしもこの東隣は消化吸収され易いということはないならば「あのマイクロマネジャーは割れ難くないかそれは緊縛するかまたは両方ともである」ということは誤りだ fact2: 仮に「何らかのものは野暮ったくなくて輪状甲状関節でない」ということは事実と異なるとしたら染色しない fact3: 仮に「「あのマイクロマネジャーは割れ難くないか緊縛するかどちらもである」ということは成り立つ」ということは成り立たないとしたらこの十月現在は染色しない fact4: 「この東隣は消化吸収され易くない」ということは正しい fact5: もしもあのマイクロマネジャーが二千三年カレンダーでないかあるいはエグジットであるかまたは両方であるならばそれは野暮ったい fact6: もし仮にこの東隣は染色しないとすれば「この戦線離脱は消化吸収され易くないかあるいはそれは水泡であるかまたは両方ともである」ということは成り立たない ; $hypothesis$ = この十月現在は染色するということはない ; $proof$ = 
fact1 & fact4 -> int1: 「あのマイクロマネジャーは割れ難くないか緊縛するかあるいはどちらもだ」ということは成り立たない; int1 & fact3 -> hypothesis; __PROVED__
事実1: もしもこの東隣は消化吸収され易いということはないならば「あのマイクロマネジャーは割れ難くないかそれは緊縛するかまたは両方ともである」ということは誤りだ
事実2: 仮に「何らかのものは野暮ったくなくて輪状甲状関節でない」ということは事実と異なるとしたら染色しない
事実3: 仮に「「あのマイクロマネジャーは割れ難くないか緊縛するかどちらもである」ということは成り立つ」ということは成り立たないとしたらこの十月現在は染色しない
事実4: 「この東隣は消化吸収され易くない」ということは正しい
事実5: もしもあのマイクロマネジャーが二千三年カレンダーでないかあるいはエグジットであるかまたは両方であるならばそれは野暮ったい
事実6: もし仮にこの東隣は染色しないとすれば「この戦線離脱は消化吸収され易くないかあるいはそれは水泡であるかまたは両方ともである」ということは成り立たない

仮説: この十月現在は染色するということはない
1. 事実1と事実4から、推論1: "「あのマイクロマネジャーは割れ難くないか緊縛するかあるいはどちらもだ」ということは成り立たない"が導かれる
2. 推論1と事実3から、仮説が導かれる

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