その数値計算は倒すということはない
fact1: もし「あの臨時代理は育て上げるけど松原でない」ということは誤っているとすればあの数値計算は倒さない fact2: あの臨時代理は寝惚けるしそれに無断侵入する fact3: もしあの団体委任事務が試算するなら倒す fact4: 仮にそのホーム・スタイルが試算するとするとあの団体委任事務は試算する fact5: もしそのホーム・スタイルがバックするなら試算する fact6: もし仮にある物は寝惚けるとすると「それは育て上げるがしかし松原でない」ということは本当でない
fact6 -> int1: あの臨時代理は寝惚けるとしたら「育て上げるしそれは松原でない」ということは嘘である; fact2 -> int2: あの臨時代理は寝惚ける; int1 & int2 -> int3: 「「あの臨時代理は育て上げる一方で松原でない」ということは確かでない」ということは成り立つ; int3 & fact1 -> hypothesis;
fact6 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); fact2 -> int2: {A}{aa}; int1 & int2 -> int3: ¬({AA}{aa} & ¬{AB}{aa}); int3 & fact1 -> hypothesis;
あの団体委任事務は倒すしそれは乙女座だ
$facts$ = fact1: もし「あの臨時代理は育て上げるけど松原でない」ということは誤っているとすればあの数値計算は倒さない fact2: あの臨時代理は寝惚けるしそれに無断侵入する fact3: もしあの団体委任事務が試算するなら倒す fact4: 仮にそのホーム・スタイルが試算するとするとあの団体委任事務は試算する fact5: もしそのホーム・スタイルがバックするなら試算する fact6: もし仮にある物は寝惚けるとすると「それは育て上げるがしかし松原でない」ということは本当でない ; $hypothesis$ = その数値計算は倒すということはない ; $proof$ = 
fact6 -> int1: あの臨時代理は寝惚けるとしたら「育て上げるしそれは松原でない」ということは嘘である; fact2 -> int2: あの臨時代理は寝惚ける; int1 & int2 -> int3: 「「あの臨時代理は育て上げる一方で松原でない」ということは確かでない」ということは成り立つ; int3 & fact1 -> hypothesis; __PROVED__
事実1: もし「あの臨時代理は育て上げるけど松原でない」ということは誤っているとすればあの数値計算は倒さない
事実2: あの臨時代理は寝惚けるしそれに無断侵入する
事実3: もしあの団体委任事務が試算するなら倒す
事実4: 仮にそのホーム・スタイルが試算するとするとあの団体委任事務は試算する
事実5: もしそのホーム・スタイルがバックするなら試算する
事実6: もし仮にある物は寝惚けるとすると「それは育て上げるがしかし松原でない」ということは本当でない

仮説: その数値計算は倒すということはない
1. 事実6から、推論1: "あの臨時代理は寝惚けるとしたら「育て上げるしそれは松原でない」ということは嘘である"が導かれる
2. 事実2から、推論2: "あの臨時代理は寝惚ける"が導かれる
3. 推論1と推論2から、推論3: "「「あの臨時代理は育て上げる一方で松原でない」ということは確かでない」ということは成り立つ"が導かれる
4. 推論3と事実1から、仮説が導かれる

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